perm filename FONT1.NGF[MF,DEK] blob
sn#756297 filedate 1984-05-28 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ εRp→∞π#λ≠LF/λπYn&λ<YMvp:λ w⊂1≠m↔_xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λλ∨λα≤NV`2⎇ ≡Pq!BO(6Nλ z@≤(0
< G⊂:[ ←(z␈wt84=
P8!≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(6Nλ z␈wt84=
P8!≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(4∞λ z@= ∞ 8!≡P∧_∧λ␈␈␈␈xx h
`ε_↓&`9Xα&`iXβfa→X¬&a9XεfaiXπfb→X &bIX
fbiX &c→X
fcIX∞fcy`∂g#y`∂g#i`∂gβyh∂'βy`∂fd→`⊂g∧→X⊃g∧9`∩&dY`∩g∧iX∪g¬ `∀&e→`∃'¬)X∃g¬I`⊗&ei`λ#Y`π@CY`π@cYXλcY`πAβi`πA#YXλ↓#Y`πAcY`πAcYXλαβY`πB#Y`πB#YXλαCY`πBcY`πCβYXλββY`πCCI`πCCYXπDβI`πDβY`πDβYXπDCI`πDCY`πDcIXπEβI`πE#I`πE#IXπECY`πEcI`πEcIXπF#I`πF#I`πF#YXπFcI`πFcI`πGβIXπG#I`πGCI`πGCIXπGcI`πHβI`πHβIXπHCI`πHCI`πHc9XπIβI`πIβI`πI#IXπICI`πIc9`πIcI`π
βIXπJ#I`πJ#I`π
c9XπJcI`πJcI`π #IXπK#I`πKC9`π cIXπLβ9`πLβI`π #IXπLC9`πLCI`π
β9XπMβI`πMβI`π
C9XπMCI`πMc9`π∞βIXπNβI`πN#9`π∞CIXπNc9`πNcI`π∂βIXπO#88¬BAsh∞'∧3x
gεb`∞&hπxN⊂ ⊂
gλε⊂↓π∪D0Aβ9X _@A`N⊂ ∞'λελβεs41↓CI` _!↓XN⊂ ⊂@∞'λε∧G∪40BC9` _↓1`N⊂ `
gλ¬xεG∪2P⊗B!Q`NλH∧`
g↓`(πP A`N↓↓pp ∪#Jxπ⊂ a`MCh∧p∞'↓d(εs0x ∀βI`πP
↓`NβH¬⊂∞&at)π∪@x ∀c9`π⊂
A`MCh¬ ∞'↓t*G∪@p ∃CIXπP
q`Nβh¬8∞'↓d,π∪0x ⊗#I`πP ⊃`NβH¬P∞fat-G∪@x ⊗cI`π⊂ Q`MCh¬h∞'↓t.G3@p ↔cIXπP q`Nβh¬x∞g↓d0G∪0x _#Y`πP ⊃hNβHε_∞fat1G3@x _cY`π⊂ QhMChε(∞g↓t2GS@x →CYXπP qpNβhε8∂'↓t4π30x ~#i`πP
⊃pMDλεH∂g↓t5GS@x ~cyXλ⊂
1xNβhεh∂'↓t6Gs1 ≠#y`πP
bMDλεx∂gα∧7H∪@x ≤∧ Xλ⊂∞αλN∧λπλ⊂&b∀8H3A ≤D→`λ⊂∞"λMD(π⊂⊃'α∧:λ31λ ≥∧)`λP∞B⊂N∧λπ(⊃fb∀;λSAλ ≥D9X ⊂∞b_N∧(π8∩'α∀;I∪1⊂ ≡∧I`λP∂∩ "<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧⊂xA∞'(6→>P∂(8Pa z@⊗¬pC⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PX↔P␈(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊗¬pC⎇?{x#Z≡PX↔P␈(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∀epC⎇ ≡P]↔P␈(!@!?␈␈x␈@∂@K@h@∂Pλ→` ⊃SD%'λ∧hN⊂ y` ∀3D)gλ¬(N⊂
y` ⊗∪D,gλ¬XN⊂ I` ↔3D/'λ¬xN⊂ ` I$9` J∧→` Jci` K#Y` KCY` KcY` L#9` LC9` Lc)` Mβ)` M#)` MC→` Mc→` Mc→` Nβ ` N# ` N# ` NC ` NC ` Nby` Nc ` Oαy` Oαy` O"i` O"y` O"y` O"y` OBi` OBi` OBi` OBy` Obi` Obi` Obi` Obi` Obi` Obi` Obi` Obi` Obi` Obi` Obi` Obi` Obi` OBy` OBi` OBi` OBi` OBi` O"y` O"y` O"i` Oαy` Oαy` Oαy` Nby` Nby` NC ` NBy` N# ` N"y` Nβ ` Mc→` Mc ` MC→` M#→` Mβ→` Lc)` LC)` L#9` KcI` KCI` KβY` J$ ` ID)` _∪D/gλ¬pN⊂ Y` ↔∪D-gλ¬XN⊂ Y` ↔SD0'λελN⊂ )` →∪D2gλε0N⊂ y` ~∪D4gβ∩x⊃'β∪⊂⊂'β∪ ∂gβ∪0∞gβ∪@∞'β∪H∞'β∪X
gβ∪`
'β∪h
'β∪p gβ∪x gβ∀ ε3AH ⊂# ` Pλ⊃HNε(∧⊂ 'β∀!F∪AH ⊂c ` PλA8Nε(∧ 'β∀"EsAH ⊃# ` Pλa8Nε(∧0 gβ∀#EsAH ⊃by` Pλq8Nε(∧@ 'β∀$¬sAH ∩αy` P ⊃0Nε(∧H 'β∀$ESAH ∩"i` P ⊃8Nε(∧P 'β∀%¬SAH ∩Bi` P !0Nε(∧P 'β∀%¬SAH ∩Bi` P !0Nε(∧P 'β∀%¬SAH ∩Bi` P !0Nε(∧P 'β∀%¬SAH ∩"y` P ⊃0Nε(∧H 'β∀$ESAH ∩"i` P ↓8Nε(∧@ gβ∀$¬SAH ⊃by` Pλq8Nε(∧8 gβ∀#¬sAH ⊃By` PλQ@Nε(∧( gβ∀"ε∪AH ⊃αy` Pλ1@Nε(∧_ 'β∀!ε∪AH ⊂#→` Pλ⊃@Nε(∧ gβ∪x gβ∪p gβ∪h
'β∪`
'β∪X
gβ∪H∞'β∪@∞'β∪0∞gβ∪ ∂gβ∪⊂⊂'β∩p⊃gλεHN⊂
` →sD3'λε(N⊂ I` _SD0gλεN⊂ i` ↔∪D-gλ¬HN⊂
y` ∃∪D(gλ∧pN⊂ ∧ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λλ?λα≤NV`2⎇ ≡Pq!BO(526(z@≤(0
< G⊂:[ ←(z␈wt84=
(IY>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(526(z␈wt84=
(IY>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(2r6(z@=
xIY>P∧_∧_␈␈␈␈x↓` p␈␈␈␈8
Pεh
eD→@∀fε→H≠f'YH ⊂S$#&H∧PM⊂ iP ∀S$+&H¬HMP IP ↔s40fHε(MP yX⊗E¬ X∃π$IP∀Hd)X∪J$ X∪ CiX∩LCIX∩
C9X∩∞#)X⊃O#→X⊃Pλ↓8MHH∧_ fd$"Es2⊂ ∩αY`⊂⊂ 1(MHλ∧h
&d∧'E∪2 ∀"9`∂P
1_MGh¬( fct+DSAp ⊗α9X∂⊂ !⊂MGH¬` 'βd.∧S1p ↔B)X∂⊂ ↓λNπ(ελλfcd1∧3Ah _b→X∞P QλNπ(ε(λfcT3D3A` ~α→X∞gβIX∞'βIX∞'βI`
fcI`
fcI`
gβ9X
gβ9`
fc9`
gβ)`
&c9`
'β)`
&c)`
'β)` fc)`
'β→` gβ→X
'β→` gβ→` gβ→X gβ→` gβ→` gβ→` 'β ` 'β X gβ→` gβ→` gβ→` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` gβ→` gβ→` g# ` 'β ` 'β ` gβ→` gβ→h 'β ` 'β→` gβ→` g# ` gβ→` gβ→h gβ→` gβ)h gβ→`
'β)h gβ)`
'β)h
'β)`
'#)`
'β9h
'β9h
'β9`
g#9`
g#9`∞'#9`∞⊂
↓λNFhε@λgβD3∧SQ` →")`∞P AλNGλε_ 'βT1∧SQh _α)`∂⊂ a_NG(¬p '#T.∧sAp ⊗BIh∂⊂ ⊃_NGH¬8
'βt*E∪Qx ∀bYh∂P
⊃(Nλλ∧x
g$∧&ESR ∩bih⊂Pλq8NλH∧( '$$!F∪R_∨F3R_≡εSR ≤FsR(~G∪R0_πSR8⊗πsR@∪H3RP⊂HsR`
I3bxλ
ST3g(ε O⊂ →h ↔sd-g(¬HO⊂
Yp ∀3d''H∧PO⊂λix ⊂3c`OMssλP
4∩R∧(Oλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pz|#O(8Pa xA∞'(6→>P∂(␈ohv@z@≡←λ∞=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pz|#O(␈ohv@z@≡←λ∞= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pu|#O(z@∨␈λ∞= λ0λOx␈␈␈p∧⊂≤ ~P R⊂F∂⊃T(b(εPI⊂∂ ` ∨∪D?gλλ⊂N⊂⊂Y` !sDE'λλ`N⊂⊃i` $∪DI'λ N⊂∩Y` %sD!Fg9`≠ εIh∀⊂λ2xN∧h¬`⊗gα4/JsA_ _E→` P R@N∧hε8∪gα45 3A_ ≠∧I` P
b_N∧hεx⊃gα48HSA_ ≤d→` P∞BλN∧hπ0⊂'α4;H∪A_ ≡βy` P∂⊃xN∧hπX∂'α4>πSA⊂ ∨Ci` ⊂∂qhN∧Hλ∞gα$@G3A⊂ CI` ⊂⊂1`N∧Hλ ∞'α$BFsA⊂ !#I` ⊂⊂a`N∧Hλ8
gα$DεsA⊂ "β9` ⊂⊃⊃XND(λP
'α∀EεsAλ "c)`λP⊃APN∧(λ`
'α∀FFSAλ ##)`λP⊃aPN∧(λp
'α∀GF3Aλ #c)`λP∩↓HN∧λ λ gα∧Iε3A $C→`λ⊂∩!HN∧λ _ gα∧IF3A $c→`λ⊂∩AHN∧λ gα∧Jε3A %# `λ⊂∩QHN∧λ ( gα∧JF3A %C `λ⊂∩a@N∧λ 0 gα∧Kε3A %C→`λ⊂∩q@N∧λ 8 'α∧KF∪A %c `λ⊂∩qHN∧λ 8 gα∧KF3A %c→`λ⊂∪↓@N∧λ @ 'α∧Lε∪A &β `λ⊂∪↓@N∧λ @ 'α∧Lε∪A &β `λ⊂∪↓@N∧λ @ 'α∧Lε∪A &β `λ⊂∪↓@N∧λ @ 'α∧Lε∪A &β `λ⊂∩qHN∧λ 8 'α∧KF∪A %c `λ⊂∩q@N∧λ 8 'α∧KF∪A %C→`λ⊂∩aHN∧λ 0 'α∧Kε∪A %C `λ⊂∩QHN∧λ ( gα∧JF∪A %# `λ⊂∩AHN∧λ gα∧Jε∪A $c→`λ⊂∩1HN∧λ _ gα∧Iε3A $C→`λ⊂∩⊃PN∧λ λ gα∧HF3A $β)`λ⊂∩↓HN∧λλx
'α∧GF3A #C)`λ⊂⊃aPN∧λλh
'α∧FFSAλ "c)`λP⊃1PN∧(λP
'α∀DFsAλ "#)`λP⊃↓XN∧(λ@
'α∀CFsAλ !C9`λP⊂Q`N∧(λ(
fb$Bπ∪A⊂ cI` ⊂⊂!`N∧Hλ⊂∞'α$@G∪A⊂ βI` ⊂∂qhN∧Hπp∞gα$>G3A⊂ ∨βi` ⊂∂1pN∧HπP∂'α$<GSA⊂ ≡βi` ⊂∞qxN∧Hπ(⊂'α$:λ∪A⊂ ≤d ` ⊂∞∩λN∧Hπ⊂gα$7H3A_ ≠∧)` P
2⊂N∧hεH⊃gα43I∪A_ →$Y` P 2(N∧hελ∪'α4/IsA_ ↔% ` P 2@N∧h¬@∃'α4+
sA_ ∀eI` P rpN∧h∧`_'α4$ SA_ ⊃εI` Og ` NπY` Lλ∧_ME∧D&gλλ_N⊂⊂ ` ∨SD>'↓pλ ~3D;'λπ N⊂∞→` ≠3D5'λε0N⊂ )` ↔3D,'λ¬λN⊂ )`∨g¬t xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λλ←λα≤NV`2⎇ ≡Pq!BO(2{wPz@≤(0
< G⊂:[ ←(z␈wt84= Xo↑↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(2{wPz␈wt84= Xo↑↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(0;wPz@=
(o↑↑P∧_∧(␈␈␈␈x↓@
λ↓H &sTLg( 8NP∩Yh $sTHg(λxNP⊃Y` #∪DEgλλPN⊂⊃→h !sDC'λλ(Nελ∧λ∃gβ∧1α3A@ →@I` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` g"i` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αd1SA0 ↔`Y` ⊂
`pN¬FCN⊂∂)` ≡SD='λπPN⊂∂)` ≡SD='λπPN⊂∂)` ≡SD='λπPN⊂∂)` ≡SD='λπPN¬F3λN¬H¬ λ'αd/A3A0 _@)` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αiX gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` ⊂
λNελε β'β∧#I∪DB'λλ(N⊂⊂i` !s4DgλλPN⊂⊃9` #∪DFfhλxMP∩→X $s4Jfh 8MP∪→X &hOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊃↑⊂ 9≥-F(z@= ∞⊂C¬≡Pa
I∨(8Pa xA∞'(6→>P∂(␈ohv@z@_"P$⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pa
I∨(␈ohv@z@_"P$⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P\
I∨(z@→BP$⎇ λ0λox␈␈␈p∧∃ox␈␈␈`~⊂∧∀@gλλ⊂N⊂⊂)` sTAgλλ_N⊂⊂I` !∪DBg(λ N⊂⊂Y` !SDC'λλ8N⊂⊂y` "∪Ax ⊂¬)` ⊂ Q Nελε π'β∧4B3A@ ≠ i` ⊂∞_Nελπ_gβ ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` ⊂ @λNελ¬Hα'β∧*B∪A@ ∪Ay` ∞d)` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3A@≤I∪A@ ∪" ` ⊂
0PNελ¬8β'β∧-@SA@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@MF3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε31PNεSAPNεSAPN¬3ANαS0("<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧8xA∞'(6→>P∂(8Pa z@≡+ ≥= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Py-π/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≡+ ≥=?{x#Z≡Py-π/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@≥ ≥= ≡P}-π/(!@#␈␈␈x␈@⊂i?␈␈xzn:∧∩axKJ3∪LMs∪hM⊂λ)P ⊃s$%fH∧xM⊂
IP ⊗∪4-fH¬pMP →P →343fhεPMP
IP ≤∪49&hπ MP∞yX ≡34=fhπhMLaSxMKcS(MK$SλMJeRhMJF"XN
εrHMIgB0MIH∧∩fdd!I∪2( ⊃d9`∩⊂ "λMIλ∧`⊂fd4(πs2_ ∀Cy`⊃⊂
AxMHH¬8∞fd$,G3Bλ ⊗cIX⊂P Q`Nλλ¬x
fd∧0FS2 _c)`⊂⊂ AHMHλε(
'βt3F31x ~# `∂P
!@MGhεX &ct6EsAx ≠"yX∂P
q0NπHπ gβd8ES1p ≤Bi`∂⊂∞!0MGHπ
gβd:¬31p ≥"Y`∂⊂∞a Nπ(π8
&cd;DSAh ≡↓YX∂⊂∂8Nπ(πHgβYX∂'βY`∞fcY`∞gβYX∞gβY`∞gβYX∞gβY`∞gβYX∞gβY`∞gβY`∞&cY`∞gβY`∞gβYX∞gβY`∞gβY`∞gβY`∞gβY`∞&cY`∞gβY`∞gβY`∞gβY`∞gβY`∞gβY`∞gβY`∞gβTCβsAh ⊗G9`∞P #XNπ(¬P≥gβT-∞sAh ⊗G9`∞P ∪`Nπ(¬H≡'βT,O∪Q` ⊗'I`∞P β`Nπ(¬@≡gβT+O3Ah ∃gY`∞P
shNπ(¬8≡gβT+O3Ah ∃gYh∞⊂
cpNπ(¬(∨'βT*OSAh ∨BY`∞P∂a(Nπ(πp
g#D?¬3Ah ∨"Y`∞P∂Q(Nπ(πh
g#D>E3Ah ∨αY`∞P∂A(Nπ(π`
g#D>¬3Ah ∨αI`∞P∂A Nπ(π`
'#D>¬∪Ah ≡bI`∞P∂1 NGλπX
'βT=¬∪Ah ≡BIh∞P∂⊃ Nπ(πH
'βT<E∪Qh ≡αI`∞P∂↓ NπHπ8
'#T;E∪Ap ≥BIh∞P∞a NπHπ(
'#T:E∪Ap ≥αIh∞P∞1(NπHπλ 'βd8¬sQp ≠by`∂P
Q@NGHε` g#d5εSAx ~#)h∂⊂
↓XNπhε0∞'#t2π3B _Cih∂P ⊃xNGh¬x⊂'∧∧.H3R ⊗d)`⊂P ∩_NH(¬8∩'$∀* SRλ ∀Dy`⊃⊂
α@NHh∧`∃'$4%
sB ⊃eYh∩PλBpNI(∧λ_'$ch→'$sH∂@"I`∀M∧⊂⊂
'%"x⊃@bIh⊗
$P
'%bλ∃↓αIh→¬ε⊂(
'(π(β¬∪T9AbIh ≤!↓ NP
pH
'(εh¬¬∪T5BbIh ~!A O⊂ `h
'(ε π¬∪T0DαIh ↔b⊃ O⊂ A⊂
'(¬H
¬∪d+¬"Ih ∀bq O⊂
↓@
'(∧h
¬∪d$GαIp ⊃CQ O⊂λ!x
'GR⊂
'gα
'F28
'eRP
(∧bh
(#C⊂λ)A3H¬8D xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ ∂λα≤NV`2⎇ ≡Pq!BO(.v⊃_z@≤(0
< G⊂:[ ←(z␈wt84= XXD}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(.v⊃_z␈wt84= XXD}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(,6⊃_z@= (XD}P∧_∧@␈␈␈␈xα P␈␈␈␈p
βPe@t-A2`h ∃A)8 ⊂
↓K¬h∧X &#$%ESAP ∩bi`
⊂ 10NF(∧X 'β∀%ESAH ∩bi` P 10Nε(∧X 'β∀%ESAH ∩bi` P 10Nε(∧X 'β∀%ESAH ∩bi` P 10Nε(∧X 'β∀%ESAH ∩bi` P 10Nε(∧X 'β∀%ESAH ∩bi` P 10Nε(∧X 'β∀%ESAH ∩bi` P 10Nε(∧X
gβ∀%E3AH ∩bY` P 1(Nε(∧X
gβ∀%E3AH ∩bY` P A Nελ∧h
'β∧&E∪A@ ∪"I` ⊂ Q NEh∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt#εsA8∨HSA8≠
sA8∃MSA8∞⊂λY` ≡∪D<'λπ@N⊂∂ ` ≡∪D"π"y`~KbI`∃∞BI`⊂Pλ1 NεH∧P
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬h∧h
'αt&E∪A8 ∪"I` P Q N¬λ¬ '↓d+β3@H ⊗`y`↓P ⊂λ"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧HxA∞'(6→>P∂(8Pa z@⊂↔W= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡P@\∃o(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊂↔W=?{x#Z≡P@\∃o(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∞wW= ≡PE\∃o(!@$␈␈␈x␈@↔@)?␈␈x␈@i@'↓2⊂xHεRBλNH∪QpNπSQhNπ∪QXNεsQPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNε3AHNF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@MF3APNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNε3AHNF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪1PNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPMG∪A`Nπ∪1pNπS2Nλ31`MAHOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∩↑⊂ 9≥-F(z@= ∞⊂C¬≡PPs/O(8Pa xA∞'(6→>P∂(␈ohv@z@∀≤h>=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PPs/O(␈ohv@z@∀≤h>= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PKs/O(z@∃<h>= λ0 /x␈␈␈pα@⊂Ox␈␈␈ ~⊂
Q@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@$?␈␈xSFλ∧λ 'β∀ ε∪AH ⊂β ` Pλ↓@Nε(∧ 'β∀ ε∪AH ⊂β ` Pλ↓@NFλ∧ 'ββx gββx gβ∪p gβ∪p 'β∪p '#βh gβ∪` gβ∪` gβ∪X g#∪P gβ∪P gβ∪H g#∪@ gβ∪8
'#∪0 gβ∪(
'β# g##⊂
'β#⊂ g##
'β2p
'#"p
'#"`
'β2P
g#2@
gβB0
g#B ∞'#B⊂∞'#Qp∞gβa`∂'#q@∂g$⊃⊂⊂g$@P∩'(¬NP ih ∪∪T%'(∧@O⊂λIh ⊂ST 'GIp≤'&ip→'EYx∀'d*
("∧ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ ?λα≤NV`2⎇ ≡Pq!BO(4Jvhz@≤(0
< G⊂:[ ←(z␈wt84=
⊂+[>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(4Jvhz␈wt84=
⊂+[>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(2
vhz@=
`+[>P∧_∧X␈␈␈␈xα λ
λα
P QHNεh¬` g#$-F3AP ⊗C `
⊂ ⊃@NεH¬@ 'β$+F∪AP ∃By`
⊂
Q8NεH¬ gβ$)EsAP ∀By`
⊂
⊃8NεH¬ 'β$'ESAP ∪Bi`
⊂ Q0NεH∧` 'β$%E3AP ∩BYh P ⊃(Nε(∧@
gβ∀#E3AH ⊃"i` PλA(Nε(∧_
gβ∧!E3A@ ⊂BY` ⊂λ⊃(Nελ∧
gββx
'ββp
'ββh
'ββ`
'ββX
'ββH
gββ@
'ββ8
'ββ0
'ββ(
'ββ
'ββ_
'ββ⊂
'ββλ gββ gβαp
'βαh
'"r`
'αrX
'αrP
'αrH gαr@ gαr8 gαr0 gαr
'αr_
'αr⊂
'αrλ gαr gαqx gαqp gαqh gαqX
'αqP
'αqH
'αq@
gαq8 gαq0 'αq(
'αq
gαq⊂∂'αqλ∂gαq⊂gαpx⊃'αpp∩'αph∩gαp`∪gαpP∀gαpH∃gαp@ @By` Ab0_ 'αp0 A"y` A"00 'αp Bαy` @B@H 'αpλ Cαy`∃β# `∀Cby`∀∧β `∪DBy`∪∧c `∩E"y`∩¬by`⊃ε"y`⊂Fby`⊂παy`∂GBy`∂πby`∞H"y`∞λBy`
Iαy` IBy`
αy` J"y` JBy` JBy` Jby` Jby` Kαy` Kαy` K"y` K"y` KBy` KBy` Kby` Kby` Lαy` Lαy` L"y` L"y` LBy` LBy` Lby` Lby` Mαy` Mαy` M"y` M"y` MBy` MBy` Mby` Mby` Nαy` Nαy` N"y` N"y` NBy` NBy` NbyX ∞by` ∂αy` ∂αy` ∂"y` ∂"y` ∂By` ∂By` ∂by` ∂c ` ⊂λ↓8Nελ∧ 'β∧ EsA@ ⊂# ` ⊂λ!8Nελ∧⊂ 'β∧!EsA@ ⊂c ` ⊂λA8Nελ∧ 'β∧"EsA@ ⊃# ` ⊂λa8Nελ∧0 'β∧#EsA@ ⊃c ` ⊂λq@Nελ∧@ 'β∧$ε∪A@ ∩# ` ⊂ ⊃@Nελ∧P 'β∀$F∪AH ∩C ` P !@Nε(∧X 'β∀%F3AH ∪β ` P AHNε(∧h 'β∀&F31P ∪#→`
⊂ aHNεH∧p gβ$'F3AP ∪c→`
⊂
↓HNεH¬ gβ$(F3AP ∀#→`
⊂
⊃PNεH¬⊂
'β$)εSAP ∀c)`
⊂
1PNεH¬_
gβ$*εSAP ∃β9`
⊂
QPNεH¬(
gβ$*G∪AP ∃C9`
⊂
a`NεH¬8
gβ$+G∪AP ∃cI`
⊂ ↓`NεH¬@∞'β$,G∪1X ⊗#Y`
P ⊃hNεh¬P∞Q≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."&< G⊂:[ ←(z@≤(0
= XXD↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(.v⊃⊂z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ XXD↑←x←Qm∂(.v⊃⊂z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ λXD↑P∂(16⊃⊂z@⊂`∪∨␈x␈␈`λ+␈␈x␈␈`5∞@)8βeAY0 ec @∞'#9`
gβ9`
gβ9`
gβ9`
gβ9`
'#→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→h 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` &c→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` P∞0⊂Nε(εxβ'β∀5BSAH →!y` Bε"λ gλλhN⊂⊃Y` #3DFgλλhN⊂⊃Y` #3DFgλλhN⊂⊃Y` #∪DF'λλ`N⊂⊃I` #∪DF&hλhNπe$"'α4(
S@8"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧hxA∞'(6→>P∂(8Pa z@≤((i⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pq!:?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≤((i⎇?{x#Z≡Pq!:?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@≠λ(i⎇ ≡Pv!:?(!@&␈␈␈x␈@⊂`␈␈␈x␈h@⊂ λ¬x∂g∧D/GsB( ↔$ `∩P RN (¬h⊂'∧T.H∪B0 ⊗d→`∪⊂ 2λN H¬X⊂g∧d-H3B8 ⊗D→`∪P ∩⊂N h¬H⊃'∧t,HSB@ ⊗∧)`∀⊂
r_N
λ¬8⊃g¬∀+λsBH ∃D9`∀P
b_N
(¬(∩'¬$* ∪BP ∃∧I`∃⊂
B N
H¬_∩g¬4) 3BX ∀DY`∃P
"(N
h¬λ∪'¬D( SAλFH¬∪'α⊂λ
⊂
α0N∧ ⊃X ∪di`λ@C$' sAλ↓εH∧p∪gα⊂⊂
⊂ b8N∧ !X ∪$y`λ@c$&
∪Aλ↓FH∧`∀'α⊂_
⊂ B@N∧ AP ∩e `λAβ$%J∪AλαεH∧P∀gα⊂
⊂ "HN∧ QP ∩%→`λA#$$J3AλαFH∧@∃'α⊂(
PλrPN∧ aP ⊃e)`λAC$#JSAλβεH∧0∃gα⊂8
⊂λRXN∧ qP ⊃"⊂λ gα⊂8
⊂λQλF3AλβFH∧(λ@#→`λBβ$!D@⊃HN∧!↓P ⊂b⊂⊂ gα⊂@
⊂λ1λ↓ε3Aλ∧F(∧_λ@C→`λB#$ D@!HN∧!⊃P ⊂"⊂_ gα⊂H
⊂λ⊃λ↓F3Aλ¬εH∧λ@c→`λBC#x c→`λBC#xλAβ→`λBc∪xλAβ→`λBc#pλAβ→`λBc#pλAβ→`λBc#h ↓β→`λCβ∪hλA#→`λCβ#`λA#→`λCβ#`λA#→`λCβ#X ↓#→`λC##PλAC→`λC##PλAC→`λC##PλAC→`λCC∪H ↓C→`λCC#@λAc→`λCC#@λAc→`λCC#@λAc→`λCc∪@λAc→`λCc#0λBβ→`λCc#0λBβ→`λDβ∪0λBβ→`λDβ#(λBβ→`λDβ# αβ→`λDβ# λB#→`λD#∪ λB#→`λD##_λB#→`λD##⊂ α#→`λDC∪⊂λBC→`λDC∪⊂λBC→`λDC#λλBC→`λDC#λλBC→`λDc∪λBc→`λDc"xλBc→`λDc"xλBc→`λDc"xλBc→`λEβ∩pλCβ→`λEβ"hλCβ→`λEβ"hλCβ→`λE#∩hλCβ→`λE#∩`λC#→`λE#"XλC#→`λE#"XλC#→`λEC∩XλC#→`λEC"PλC#→`λEC"HλCC→`λEc∩HλCC→`λEc∩HλCC→`λEc"@λCC→`λEc"8λCc→`λFβ∩8λCc→`λFβ∩8λCc→`λFβ"0λCc→`λF#∩(λDβ→`λF#∩(λDβ→`λF#" λDβ→`λF#" λDβ→`λFC∩_λD#→`λFC∩_λD#→`λFC"⊂λD#→`λFC"⊂λD#→`λFc∩⊂λD#→`λFc∩λλDC→`λFc"λDC→`λGβ∩λDC→`λGβ∩λDC→`λGβ!pλDc→`λGβ!pλDc→`λG#⊃pλDc→`λG#⊃pλDc→`λG#!`λEβ→`λGC⊃`λEβ→`λGC⊃`λEβ→`λGC!XλEβ→`λGC!Xλ¬#→`λGc⊃PλE#→`λGc⊃PλE#→`λGc!HλE#→`λGc!Hλ¬C→`λHβ⊃@λEC→`λHβ⊃@λEC→`λHβ!8λEC→`λH#⊃8λEC→`λH#⊃0λEc→`λH#!(λEc→`λH#!(λEc→`λHC⊃(λEc→`λHC⊃ λFβ→`λHC!_λFβ→`λHc⊃_λFβ→`λHc⊃_λFβ→`λHc⊃_λε#→`λHc!λλF#→`λIβ⊃λλF#→`λIβ⊃λλF#→`λIβ!λεC→`λI#⊂xλF#)`λI#⊂xλF#)`λI#⊂xλF#)`λI# pλF#)`λIC⊂hλFC)`λIC⊂hλFC)`λIC `λFC)`λIC `λFC)`λIc⊂XλFc)`λIc⊂XλFc)`λIc PλFc)`λJβ⊂PλFc)`λJβ⊂HλGβ)`λJβ @λGβ)` c @λGβ)`
β⊂@λGβ)`
β⊂@λπ#)`
β 0λG#)`
#⊂0λG#)`
#⊂0λG#)`
# (λG#)`
# λGC)`
C⊂ λGC)`
C⊂ λGC)`
C _λGC)`
c⊂⊂λGc)`
c⊂⊂λGc)`
c λλGc)`
c λλGc)` ¬"
'α"`∃λβ)` ¬"
'α"`∃λβ)` %αλ
'α"h∀λ#)` %αλ
'α"p∪H#)` Db⊂
'α"p∪λC)` Db⊂
'α"x∩HC)` dR⊂
'α"x∩λc)` ∧2_
'α#⊃Hc)` ∧2_
'α#⊃ β)` $∩
'α#λ⊂Iβ)`πM∧∩
'↓∪P⊂ "Y`↓Pλ⊃x∩D ⊃PN↓λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∪↑⊂ 9≥-F(z@= ∞⊂C¬≡Pl4<o(8Pa xA∞'(6→>P∂(␈ohv@z@≠
λs=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pl4<o(␈ohv@z@≠
λs= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pg4<o(z@≤-λs= λ0 ox␈␈␈pβ`_←x␈␈␈@~`_0_M↓3⊂8$?␈␈x:Ahλλ¬%aT>C2a_ ≡ay0
⊂∞q⊂Mπ(π_
gβT8ε∪Ap ≠#)`∂P
1XNπhεX
g∧∧5εsB ~C9`⊂P
⊃XNλHε@
g∧$4εsB_ →c9`∩⊂ qPN λε8
'∧T3εSB( →C)`∪⊂ QPN hε
'∧t2εSB@ _c)`∀P !PN
(ε⊂
'¬$0FSBX _β→`∃P ↓HN λ¬x g¬D/F3Bh ↔C→h⊗P QHN (¬h g¬d.ε3Bx ⊗c→`↔P 1HN λ¬P gε∀,F3Cλ ⊗#→`→⊂ ↓HN h¬8 gβλ
⊂
qHNε⊃X ∃C→` C$+ε3A@↓FH¬( gβ_
P
AHNεAP ∃β→` ↓#$)F3A@αFh¬⊂ gβ0
⊂
!HNεqP ∀#→` ↓c4(ε3A@∧εH¬ gβH
⊂ qHNε↓⊃P ∪c→` αC$'ε3A@¬FH∧p 'βX
⊂ a@Nε↓AP ∪# ` β#$&¬sA@εFH∧` gαpx
⊂ 18N¬b↓P ∩By` Dβ$%¬sA8λFH∧H gαq⊂
⊂ ↓8N¬b!P ∩αy` Dc$#EsA8
εH∧0 gαq
⊂λa8N¬bQP ⊃"y` E#$"EsA8 εH∧ gαq8
⊂λ18N¬bqP ⊂by` Fβ$!¬sA8 FH∧λ gαqH
⊂λ⊃8N¬c!P ⊂αy` Fc#x gαqX
∂by` Gβ#p gαqh
∂"y` G##h gαqp
∂αy` Gc#X gαqx
∞by` Hβ#P gαrλ
∞"y` H##H gαr⊂
∞αy` Hc∪@ gαr_
by` Iβ#0 gαr( MBy` I##( gαr0
αy` Ic∪ gαr8
by` Jβ#⊂ gαr@
By` J##λ gαrP
αy` JC# gαrX
by` Kβ"p gαr`
By` K#"h 'αrp
αi` KC"` 'αrx
bi` Lβ"P 'αs
Bi` L#"H 'αs⊂
αi` LC"@ 'αs_
bi` Mβ"0 'αs
Bi` M#"( 'αs(
Iαi` MC" 'αs8
λbi` Mc2⊂ 'αs@
λBi` N#"λ 'αsH
Hαi` NC" 'αsX
πbi` Nc1p 'αs`
πBi` O#!h 'αsh
π"i` OC!` 'αsp
Fbi` Oc!X 'αt εC!0N¬h∧
F"i` Pλ⊃P ESA8 ⊂C!@ 'αt!εbq0N¬h∧_
¬biX ⊂λAP ¬SA@ ⊃β1( 'β∧"FBQ0Nελ∧0
¬αi` ⊂λaX ESA@ ⊃c!_ 'β∧#Fb!0Nελ∧@
D"i` ⊂ ⊃PλESA@ ∩#1 'β∧%εaq0Nελ∧X
CBi` ⊂ 1Xπ¬SA@ ∪β0h 'β∧&FaA0Nελ∧h
Cαi` ⊂ aX¬ESA@ ∪C@P 'β∧'Fa!0Nελ¬
B"i` ⊂
↓`∧¬SA@ ∀#0@ 'β∧)ε`q0Nελ¬⊂∞↓Bi` ⊂
1Xβ¬SA@ ∃β0 gβ∧*π18Nελ¬(
@by` ⊂
Q`↓¬sA@ ∃C@λ gβ∧+F`⊃8Nελ¬8→gβ∧, SA@ ⊗&→` ⊂ ∪λNελ¬P_'β∧- ∪A@ ⊗ey` ⊂ BpNελ¬`↔'β∧.K3A@ ↔EIX
⊂ R`NεH¬p∃gβ$/JSAP ↔e)`
⊂ αHNεHε∀gβ$0J∪AP _Dy`
⊂ "8NεHε_∪'β$2 3AP →∧Y`
⊂ R NεHε(∩'β$3λsAP →d)`
⊂ r⊂NεHε@⊂gβ$4H∪AP ~$ `
⊂
!xMFhεP∂gβ45GSAX ≠βY`
P
AXNεhεh gαd9DsAλ ≡α→`¬P∂phN↓(λ(¬∩"`ih↓Q≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."'| G⊂:[ ←(z@≤(0
= ⊂⊂q(>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(@\*λz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊂⊂q(>←x←Qm∂(@\*λz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ∂@q(>P∂(C≤*λz@⊂`∪␈␈x␈␈`¬`:␈␈x␈⎇ 7≥") ⊃%eI@~&'9H ⊂3∀#f(∧hM⊂
→P ∃3$,fH¬hM⊂ →P →344&Hε`MP
iP ≤S2X s"@⊂Ks2(∀K∪2_↔JS2λ~J3"λ≤J∪2≡Is1x ⊂DYX∂⊂λb(MG(∧H∩fcD&I∪1` ∀∧9X
P
2_MFh¬0⊃&c4,λS1X ⊗d→X
⊂ bλNε(ε⊂fc∀1λ31H →$ X P qxMF(εH∂gβ∧5Gs1@ ≠#yX ⊂
qxMFλπλ∂gβ∧9πS1@ ≥βiX ⊂∞apN¬hπ@∞fbt<GSA8 ≡CiX P∂AhMEhπp∞gαt?G318 βY` ⊂⊂!hMEhλ_∞'αdBG∪18 !#Y` ⊂⊂q`MEhλ@∞'αdDG∪18 "CI` ⊂⊃1`MEhλ`∞'αdGεs18 #CI` ⊂∩↓XN¬H ∞&bdIεsA0 $C9` ⊂∩1XMEH
gαdJFsA( %C9X ⊂∩qPN¬H 8
gαTLFS10 &#)` ⊂∪!PN¬H P
&bdMFSA0 'β)` ⊂∪APN¬H `
&bdOεSA0 'C)` ⊂∪aPN¬H x fbtOFSA0 (β)` ⊂∀⊃HN¬H
λ gαdPF3A0 (C→X P∀!HN¬h
⊂ gαdQF3A0 )β ` ⊂∀AHN¬H
gαdRε3A0 )# X P∀Q@N¬h
( 'αtRF∪A8 )# ` P∀QHN¬h
0 'αtSε∪A8 )C ` P∀a@N¬h
0 'αtSε∪A8 )C ` P∀a@N¬h
8 gαtSEsA@ )By` ⊂∀a8Nελ
0 gβ∧S¬sA@ )By` ⊂∀a8Nελ
0 gβ∧S¬sQ@ )"y` ⊂∀Q8Nελ
( gβ∧REsA@ )"i` P∀A0Nε(
'β∀R¬SAH )αih ⊂∀A0Nε(
⊂ gβ∀Q¬sAH (Bi` P∀!0NF(
λ 'β∀PESAH ("i`
⊂∪q8NεH x '#∀OESAP 'Bi`
⊂∪a0NεH h '#$N¬SAP 'αi`
⊂∪A0NFH P 'β$M¬SAP &Bih
⊂∪⊃0NεH @ 'β4KESQP %bi`
P∩Q0Nεh ( '#4IEsAX $bih
P∩!0Nεh λ 'βDH¬SQX #by`∞⊂⊃a0NFhλh gβDF¬SQ` "By`∞⊂⊃!0NGλλ@ gβDD¬SQ` !By`∞P⊂Q0NGλλ g#DAESAh "yh∞P∂q8Nπ(πx g#T>EsQh ≡by`∂⊂∂!8NGHπ@ g#T;F∪Ap ≥# h∂⊂∞1@NGHπ⊂ 'βt8ε∪Qx ≠C h∂P
A@NGhεP g#t4ε3B →C→h⊂⊂ AHNH(ελ g$∀/FSRλ ↔#)h⊂P !XNHH¬8
g$$*FsR_ ∀#Ih⊃P q`NIλ∧X∞g$T$π3R0 ⊃βip∪⊂λ↓xNIgBNJπαNJF"⊂O
eB NK$b0NL#R@O
"∩hNP∞→p ≠3d5'(ε8O⊂ 9p ↔sd.'H¬@O⊂
Ix ∪Sd%'h∧(OOssHP 4αHQπ5⊂ "<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D¬xA∞'(6→>P∂(8Pa z@→$n= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pe⊂≠O(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@→$n=?{x#Z≡Pe⊂≠O(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@_∧n= ≡Pj⊂≠O(!@(?␈␈x␈@∩X␈␈␈x␈h@∩K∪D$'λ¬0N⊂ 9` ↔ST0'λε_N⊂ Y` →sD4gλεXN⊂
I` ≠SD7gλπN⊂∞)` ≤sA8P I` Fh∧_N¬e3 N¬f∩xN¬fbXN¬g"@N¬gR0N¬h∧∩'αt!λSA8 ⊃∧→` PλRλN¬h∧8⊂'αt$πsA8 ∩Ci` P 1pN¬h∧`∞gαt&G3A8 ∪CY` P q`N¬h¬∞'αt(FsA8 ∀#I` P
!XN¬h¬_
gαt*εSA8 ∃β9` P
QPN¬h¬0
'αt+εSA8 ∃c→` P
qPN¬h¬@ gαt,ε3A8 ⊗#→` P ⊃HN¬h¬H gαt-ε3A8 ⊗C→` P !HN¬h¬X 'αt-F3A8 ⊗c→` P A@N¬h¬` 'αt.ε∪A8 ↔β ` P AHN¬h¬h 'αt.F∪A8 ↔# ` P Q@N¬h¬h 'αt.F∪A8 ↔# ` P Q@N¬h¬h 'αt.F∪A8 ↔β→` P AHN¬h¬` gαt.ε3A8 ↔β→` P A@N¬h¬` 'αt.ε∪A8 ⊗c→` P 1HN¬h¬X gαt-F∪A8 ⊗c ` P !HN¬h¬P 'αt-ε∪A8 ⊗#→` P ⊃@N¬h¬@ gαt,ε3A8 ∃c→` P
qHN¬h¬0 gαt+ε3A8 ∃#)` P
QHN¬h¬
'αt)FSA8 ∀c→X ⊂
!PNελ¬λ
'β∧(εsA@ ∪c9` ⊂ aXNελ∧h∞'β∧&π∪A@ ∩CY` ⊂ ⊃hNελ∧8∂'β∧"H∪A@ ⊂d→` ⊂λ∩⊂Nεπb Nεπ∩@Nεε∩xNε∧SPNε↓t'gβ ⊗3A@α⊂
y` ↓λ¬0NεD*gβ ∀sA@α⊂
)` ↓λ¬NεD''β ∪∪A@α⊂ )` ↓λ∧@NεD"gβ ⊂SA@α∂SA@α∞∪A@α sA@α¬sA@α↓3A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@MF3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHN¬3ANαS@ "<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D¬λxA∞'(6→>P∂(8Pa z@ .⊂P⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pλ↓8T∨(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@ .⊂P⎇?{x#Z≡Pλ↓8T∨(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∨∞⊂P⎇ ≡Pλε8T∨(!@(␈␈␈x␈@
@⎇?␈␈xml@=D∩2λKK∪β L∂∪∀!&(∧@LP YP ∀S$+&H¬PM⊂ iP _S$3&HεPM αβ⊂MIcBhM $RPMHEB@Mλ&"8MHεr(MGGB MπH∧∩&cT"λs1h ⊃d)X∞⊂ 2λMπλ∧p⊃&cD(H31X ∃∧→X
P
rMFh¬H⊂&c4-H∪1P ↔D X
⊂ ⊃xMFHε_∂fc$2Gs1P →cyX
⊂
⊃xNε(εX∂&c∀6GS1H ≠ciX P∞⊃pMFHπ⊂∂&c$:π3AH ≥#iX P∞qpMF(πH∂'β∀=π31H ∨βYX P∂QpNε(πp∞fc∀@π31H #Y` P⊂!hMF(λ ∞fc$Bπ3AH !CYX P⊂qhNε(λ@∞fc∀Eπ∪AH "CYX P⊃A`Nε(λ`∞fc∀Gπ∪AH #CYX
⊂⊃q`Nε( ∞fc$Hπ3AH $CI` P∩!hMFH _∞'β∀Jπ31P %#I` P∩a`Nε( 0∞fc$KG∪AH &βI` P∪↓hMFH H∞'β$LG∪AH &CIX
⊂∪1`NεH X∞'β$MG∪1P 'βI`
⊂∪Q`NεH h∞'β$NG∪1P 'CI`
⊂∪qXNεH x∞'β$OG∪1X 'cI`
⊂∀↓`NεH
∞'β$PFsAP (#9`
⊂∀⊃XMFh
λ∞'β4PG∪AX (#I`
⊂∀!`NεH
_
gβ$QFsAP (c9`
⊂∀1XMFh
_
gβ4QFsAX (c9`
P∀1XNεh
_
gβ4QFsAX (c9`
P∀1XNεh
_
gβ4QFsAX (c9`
P∀1XNεh
_
gβ4QFsAX (c)`
P∀1PNεh
_
'βDQεSA` (#9`∞⊂∀⊃XNπλ
λ
gβDPFsQX (#)`
P∀⊃PNεh
λ
'βDPεSA` 'c9`∞⊂∪qPNπλ x
'βDOFSQX 'c)`∞⊂∪QXNπλ h
'βDNFSA` '#)h∞⊂∪1XNπλ X
'βDMFSA` &c)h∞⊂∪⊃PNπλ H
'βDLFSAh &β→h∞⊂∩qPNπλ 8
'βTKε3Q` %#)`∞⊂∩QPNπ( _
'#DIFSAh $C→h∞⊂∩⊃PNπλ λ
'βTGFSQ` #c)`∞P⊃aHNGλλh
'βTFε3Q` "c)`∞P⊃!HNGλλH
'βTDε3Qh !C)`∞P⊂QPNG(λ
'βTAFSQh C→`∂⊂⊂↓PNG(πx
'#T?ε3Ap ∨β)h∞P∂1PNG(πP gβd<εSQp ≥C)h∂⊂∞APNG(π_
gβd9εSQp ≤β)h∂⊂
aPNGHε`
'#d5εsAx ~β9h∂P aXNGhε
g#t1εsQx _β9h⊂⊂ QXNHλ¬P∞'$∧,π∪Rλ ∃#Ih⊂P
!hNH(¬∞g$$&πSb⊂ ∩#Yh⊃⊂λapNHh∧⊂∂g$Cp⊂'DSH⊂'$c(⊂g%αx⊃gE∩H∩'%2_∪'EaH∀gF`(_g(εPO⊂ ip _Sd/'H¬PLP 9H ⊗s∀.&(¬`M⊂ iH →∪$4f(εxM⊂∞IH⊗Eπ `∩HFT#32λ⊗ h∧λ↓&cS →O9` Nf38αfbd!
ε⊂0N∧h∧@~ ↓ XλP S0∩BS@p ∀g↓`π&aD,∂"↓⊂MBH¬p ⊗s@8 _h¬HMA(ε@ ∃S@_ ≠λ¬ M@(πλ ∀)∞D''h∧XO⊂ p ⊃Sd!gH∧λO∂SsPO
ss_O srPOI3qxPε∀ h"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D¬⊂xA∞'(6→>P∂(8Pa z@⊗∨Xq⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PX}|?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊗∨Xq⎇?{x#Z≡PX}|?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∀␈Xq⎇ ≡P]}|?(!@)?␈␈x␈@⊃@R␈␈␈x␈j≡@2`8∧G∩cPKPλ90 ∪∪$('λ¬⊂N⊂
I` ∃SD,'(¬@N⊂ →` ⊗sD.'λ¬hN⊂ i` ↔sT/gλεN⊂ →` _SD1'λε_N⊂ I` →3Ax∪GsA@→π∪A@~εsA@~FSA@≠εSA@≠F3A@≤ε3A@≤F∪A@≥ε∪A@≥EsA@≥EsA@≡¬sA@≡ESA@≡ESA@∨¬3A@∨¬SA@∨¬SA@∨¬SA@∨E3A@∨E3A@∨E3A@∨E3A@∨E3A@∨E3A@∨E3A@∨E3A@∨¬SA@∨¬3A@∨¬3A@≡ESA@≡ESA@≡ESA@≡¬sA@≡¬SA@≡¬SA@≥EsA@≥ESA@≥¬sA@≤F∪A@≤EsA8≤F∪A8≤ε3A8≠F3A8≠εSA8~FSA8~εsA8→π∪A8_G∪A8_π3A8↔πSA8⊗πsA8∀HSA8∪ ∪A8 MSA8β⊂λ)` ↔SD.gλ¬`N⊂ 9` ⊗SD,gλ¬8N⊂
i` ∃∪D)'λ¬N⊂ i` ∩sD$'λ∧⊂N ∪B`N ∪BhN SA8ESA8EsA8↓¬sA8↓EsA8↓EsA8α¬sA8αEsA8αF∪A8β¬sA8βEsA8βF∪A8∧¬sA8∧EsA8∧F∪A8¬ε∪A8¬EsA8ε¬sA8εε∪A8εF∪A8π¬sA8πε∪A8πF∪A8λ¬sA8λε∪A8λF∪A8 ε∪A8 ε∪A8 F∪A8
ε∪A8
ε31@
F∪A@ ε∪A@ F∪A@ F3A@ ε∪A@ F∪A@ F3A@
ε3A@
F∪A@
F3A@∞ε3A@∞F3A@∞F3A@∂ε3A@∂F3A@∂F3A@⊂ε3A@⊂F3A@⊃ε3A@⊃ε3A@⊃F3A@∩ε3A@∩εSA@∩F3A@∪ε3A@∪εSA@∪FSA@∀ε3A@∀εSA@∀FSA@∃εSA@∃εSA@∃FSA@⊗εSA@⊗FSA@⊗FSA@↔εSA@↔FSA@↔FsA@_εsA@_FSA@_FsA@→εsA@→FsA@→FsA@~εsA@~FsA@~G∪A@≠εsA@≠FsA@≤εsA@≤π∪A@≤FsA@≥εsA@≥π∪A@≥G∪A@≡εsA@≡π∪A@≡G∪A@∨π∪A@∨π3A@∨G∪1H ⊂βI` Pλ↓hNε(∧λ∞gβ∀!π∪AH ⊂cI` Pλ1hNε(∧ ∞gβ∀"G3AH ⊃#i` PλapNε(∧8∂'β∀#GsAH ∩βy` P ∩Nε(∧H∂gβ∀%ε∪AH ∩b)` P @XNε(∧`αgαY`πg↓)`α⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→.")| G⊂:[ ←(z@≤(0
= (≠w≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(-&⎇`z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ (≠w≡←x←Qm∂(-&⎇`z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
X≠w≡P∂(/f⎇`z@⊂`∀␈␈x␈␈`∧@(←␈x␈⎇ 7∀"9(⊂ee)@→&' H∨&H∧_LP P ∪∪$(&h¬_M⊂
yP ⊗s4/&hεM⊂ IX →S44fe1⊂↔&dah∃&d"0∪fdα`∪&cc⊂∩'βC0⊃fc3P⊃&c#p⊂gβ∀ H∪1@ ⊃#yX ⊂λqxN¬h∧P∂&bt&πSA0 ∪Ci`
P
⊃`MEH¬⊂∞'αT*π∪A ∃CIX
P
q`N¬λ¬H
gαD-ε3A ⊗by`
⊂ A(N∧h¬h
&bD/∧SA ↔b `
⊂ pN¬λεεgαD0BsA _A→`
⊂ @N¬λε_β'αD1A3A →9`
P 0⊂NE∪A N¬∪A N¬3A(NE∪A(N¬3A0NE3A0N¬SQ0N¬SQ0N¬SA8NEsA@NEsA@NF∪AHNF3APNFSQPNεsQXNFsAhNG3QhNπSQxNGsQxNH∪BλNHSR⊂NHsR_NI∪R NI3R(NISR0NIsR8NJ∪b8NJ∪R@NJ3RHO
∪RHNJ3RPO
3RHO
∪RHNJ3b@NJ∪b8NJ∪b8NIsb0NISb(NI3b NI∪b_NHsb⊂NHSbλNH∪axNGsQxOπSQhNG3QhOπ∪QXNFsQXNFSQPNF3QHNF∪Q@NEsA@NEsQ8NESA8NESQ0N¬SQ(N¬SQ(N¬3Q(N¬3Q N¬∪A(NE∪A N¬∪A $?␈␈xN(ε f`$2¬∪0 _bIXαP 1 MAhε⊂
&a∧1¬∪0P _"IX¬P ⊃ MC(ε
&at/E∪1 ↔bIX ⊂ a MEλ¬h
&bd.¬∪18 ↔αIX P ! MFh¬H
'#4,¬∪A` ∃BYh∞⊂
Q NGλ¬_
g#D(ESQ` ∀αY`∂⊂ Q0NGH∧X g#d$EsQx ⊃C h∂PλA@NHλ∧ g$∪h
'$#H
g$3(∞'$C∂g$bP⊂gDr ⊃g%⊃h∪'%aλ∃gHε8NP Yh _sd/g(¬hO⊂ →p ∃Sd)'H∧pO⊂ )p ⊃St gGIx≠(¬z∪(#J@↓Q≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."*< G⊂:[ ←(z@≤(0
=
⊂+[≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(4Jv`z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
⊂+[≡←x←Qm∂(4Jv`z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ @+[≡P∂(7
v`z@⊂`∃∨␈x␈␈`β0?␈x␈␈@4@ 4I↓s0P ≤D→X
⊂λD"fh pMP∪iX 'S4Ofh xMP∀ X (∪4Pfh
λMP∀→X (S4Q&h
_MP∀9X )∪4R&h
MP∀YX )31 ≤P →X¬Pλ1XλK∪0( ∩C2P :c9`
gβ9`
gβ9`
gβ9`
gβ9`
gβ9`
g#)`
'β)` gβ→` gβ→` gβ→` gβ→` gβ→` gβ→` g# ` 'β ` 'β ` 'β ` 'β ` 'β ` gαy` gαy` gαy` gαy` gαyh 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αY`
gαY`
g"I`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
'αI`
&bY`
gαY`
gαY` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` 'αi` &by` gαy` gαy` gαy` gβ ` 'β ` 'β ` &c→` gβ→` gβ→` gβ→` gβ→` gαYXλ'↓9`αQ≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."⊂| G⊂:[ ←(z@≤(0
=
P7P↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(6Mt⊂z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
P7P↑←x←Qm∂(6Mt⊂z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
7P↑P∂(9
t⊂z@⊂`λ?␈x␈␈`β 4?␈x␈␈ 6`λtGG∪4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂$5∧sA_N∧sA_N∧sA_N∧sA_N∧sA_N∧sA_ME∪A N¬∪A N¬∪A N¬∪A N¬∪A N¬∪A N¬∪A ME3A(N¬3A(N¬3A(N¬3A(N¬3A(N¬3A(N¬310N¬SA0N¬SA0N¬SA0N¬3A(N¬3A(N¬3A(MESA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬S18N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8MF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪1HNε3AHNε3AHNε3AHNε3AHNε3AHNε31PNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPMFsAXNεsAXNεsAXNεsAXNεsAXNεsAXMG∪A`Nπ∪A`Nπ∪A`Nπ∪A`Nπ∪A`Nπ∪A`MG3AhNπ3AhNπ3AhNπ3AhNπ3AhNπ3AhNπ31pNπSApNπSApNπSApNπSApNπSApNπS1xNπsAxNπsAxNπsAxNπsAxNπsAxMH∪BNλ∪BNλ∪BNλ3BλNλ3BλMHSB⊂NλSB⊂NλSB⊂NλSB⊂NλS2_NλsB_Nλ∪APN¬∪@xNα3@_"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D¬(xA∞'(6→>P∂(8Pa z@≡+ ≥= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Py-π/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≡+ ≥=?{x#Z≡Py-π/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@≥ ≥= ≡P}-π/(!@*␈␈␈x␈@⊂h␈␈␈xz@j≥2`8 %90εP⊃p@KD(λPπ%BtBDs⊃P !"9`
⊂⊂Q_NF(λ( gβ∀BDsAH !"9` P⊂Q_Nε(λ( gβ∀BDsAH !"9` P⊂Q_Nε(λ0 'β∀C∧SAH !B)` P⊂a⊂Nε(λ0 'β∀C∧SAH !B)` P⊂a⊂Nε(λ0 'β∀C∧SAH !B)` ⊂⊂q⊂Nελλ8 'β∧CDSA@ !b)h P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtCDSA8 !b)` P⊂q⊂N¬hλ8 'αtC∧sA8 !B9` P⊂a_Nελλ( 'β∧BDSA@ !")` ⊂⊂A_Nελλ gβ∧B∧sA@ !α)` ⊂⊂1_Nελλ_ gβ∧ADsAH "9` P⊂⊃_Nε(λλ gβ∀@¬∪Q@ α9` P∂a Nε(πp
'β∀>E∪AP ∨αI`
⊂∂1 NF(πP
gβ$<E3AP ≡αY`
⊂∂↓(NFHπ0
gβ$:ESAX ≤bih
⊂∞10Nεhπλ 'β48¬SQX ≠By`∞⊂
A8Nπ(εP '#D4F∪Ah →c h∞P Q@NπHε_ g#d0εSAx ↔C)h∂P APNλ(¬@∞'$∀+π∪R⊂ ∀CY`⊃P qpNIλ∧X∂g$T#H∪R8 ⊂D→`∀O$9h∃MdYh↔ ∧yh→ e)h≤F¬yh ∨ST>'(πPO⊂∞ih ≥∪T8gHεpNP
9p →sT2'HελO⊂ Yp ⊗∪t)gH∧xOP →x ⊂tβXPLT∩@RFλOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∃↑⊂ 9≥-F(z@= ∞⊂C¬≡Pm≠h/(8Pa xA∞'(6→>P∂(␈ohv@z@≠&x!=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pm≠h/(␈ohv@z@≠&x!= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Ph≠h/(z@≤Fx!= λ0
ox␈␈␈p↓→P~@∧ λK↓h
@↓%ATQα∩q⊂ '↓Y0 P∩a⊂Mεh 0λg#$K∧3QP %" h P∩QNFλ (πg"tJCsA@ $ayh P∩0xNEH _πg"dIβSA0 $!yh ⊂∩pNE( π'αTHβ3Q( #Ai`
P⊃`hNEλλpεgαTFβSQ #↓Y`
P⊃ pNEλλPεgαDDCSQ "↓Y`
⊂⊃hN¬λλ8π'"DCβ3A !!ih
⊂⊂@hN¬λλ_π'αDAC3Q AY`
⊂⊂⊂pNEλλεgαD?CSQ_ ∨aY`
⊂∂PpN¬λπhεg"4>C3A ≡aih P∂0hN¬λπHπ'"4<C3A_ ≡↓i`
⊂∞phNDhπ8εgαD:CSQ_ ≥!Y` P∞@pN¬λπ_εg"49βSA_ ≤AYh P∞⊂hN∧hππ'"47C3A_ ≠Ai` P
`hNDhε`π'α46βSQ_ ~aY` P
pN∧hεPεg"44βSA_ ~↓Yh ⊂ ppN∧hε0π'"$2CSA_ →↓i` P @hNDHε_π'α41β3Q⊂ _!i` P pN∧h¬xπ'"$/CSA_ ↔AYh ⊂ PpN∧h¬`εgα4-CSQ⊂ ⊗ai` P ⊂pNDH¬Hπ'α$,βSQ⊂ ∃ai` ⊂
phN∧h¬(π'"$*CSA⊂ ∃↓ih ⊂
0pN∧H¬⊂π'α4(CSQ⊂ ∀!i` ⊂
pNDH∧xπ'α$'βSA_ ∪!ih ⊂ @pN∧H∧`π'"$%βsA⊂ ∩Ai` ⊂ pNDH∧@π'α$$βSQ⊂ ⊃Ai` ⊂λ`pN∧H∧(πg"$"βSA⊂ ⊂ayh ⊂λ pN∧H∧⊂π'α$ CSQ⊂ ⊂↓i` ∂ayh ∂Ai` ∂!y` ∂!ih ∞ay` ∞ayh ∞Ai` ∞!y` ∞!ih
ay`
aihλMAy`
!y`
↓yh ay` aihλLAy` !i` ↓yh ay` AyhλKAy` ↓y` ↓yh
B `
AyhλJAy`
↓y`
↓yh Ay` Ay` " h ↓y` λb h λAy` λAy` λ!yh λ↓y` πb h πAy` π" ` π!yh εb ` εb hλFB ` ε" ` ε!yh ¬b ` ¬ay` ¬B h ¬" ` ¬α h ∧b ` ∧B ` ∧B h ∧α→` ∧α h βb ` βB ` βB h βα ` βα ` BB→h αB ` α"→h αα ` ↓b→` AB h ↓B ` ↓"→` Aα h b→` @B h "→` "→`⊃g$)`⊂g∧→h∂gβyh∂'βY`∞g#9`
gβ9h gβ→h gαy` '"Y`
gαIh gα$ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
␈λα≤NV`2⎇ ≡Pq!BO(Ps/@z@≤(0
< G⊂:[ ←(z␈wt84= ∀_M>≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(Ps/@z␈wt84= ∀_M>≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(N3/@z@= ∀hM>≡P∧_¬8␈␈␈␈x0∀_␈␈␈␈x∞⊂0g ∀λN@→`↓P ∪0↓g DλL@I`αP ∪αg dλKi`∧⊂ ∩@∧'!∀λI↓→`¬⊂ ∩⊂¬'!4λGAI`εP ⊃Pεg↓tλEaihπP ⊃ πgα∀λDα→h ⊂ ⊂` 'α4λBB9h
⊂ ⊂0
gαdλ@Bi` ⊂∨a@NEh∂p gβ∧}ε∪Q8 ?αy` P∨A8NEh∂P 'αt⎇¬sQ0 >By` P∨↓8N¬h∂@ g"d|¬sA8 =Byh ⊂≡a8N¬H∂0 'αtz¬sQ0 =αi` ⊂≡A0NEH∂⊂ gαdy¬SQ0 <"i` ⊂≡↓0N¬H∂ '"dwESA0 ;Bih
P≥a0N¬H∞h
gαdv¬SQ( ;αi` ⊂≥1(NE(∞P 'αTu¬3Q( :"Y`
P≥↓0N¬(∞@
g"Ts¬SA( 9BYh
P≤Q(N¬(∞ 'αTr¬3Q( 8bY`
P≤!(N¬(∞⊂
g"TpE3A( 8αYh
P≠q(N¬(
p 'αTo¬3Q( 7"Y`
P≠A(NEλ
`
gαTmE3A( 6BYh
⊂≠!(N¬(
H
g"D5@HεX
gαT5HεX
gαT5hεH
g"D4AλεH
gαT4↓λεH
gαT3AHε8
g"D3AHε8
gαT3↓hε0
g"D2Bλε(
gαT2α(ε
gαT1BHε
'"D1Bhε⊂
gαT0Cλε⊂
gαT0Cλελ
g"D0C(ε
gαT/CHε
g"D/Ch¬p
gαT.Dλ¬p
gαT.D(¬h
'"D.D(¬`
gαT-Dh¬X
g"D-Dh¬P
gαT,E(¬H
gαT,E(¬H
g"D,¬H¬@
gαT+Eh¬8
gαT+Eh¬8
'"D+ε(¬(
gαT*F(¬(
g"D*εh¬_
gαT)Fh¬_
gαT)π(¬⊂
g"D)π(¬λ
gαT(GH¬
gαT(πh¬
g"D(πh∧x
gαT'λ(∧p
g"D'λ(∧h
gαT&λh∧`
gαT&λh∧`
g"D%I(∧P
gαT% (∧P
gαT% H∧H
g"T$ h∧@
gαT$
λ∧8
g"D#J(∧0
gαT#¬ ⊃ ⊃"Y`
PλQ0↓∧h∧(
g"D"E 1_ ⊃αY`
PλA(↓Eλ∧_
gαT!E Q_ ⊂Bih
Pλ!(αEλ∧λ
gαT E q_ ⊂"Yh
⊂λ⊃(βEπq0N¬'q0∧∧gq(N¬'q(∧Eπa(NE'Q0¬∧gQ(N¬'Q(¬EπA(N¬'Q(¬Eπ10NE'1(εEπ!(N¬'1(εEπ!(NEπ!(πDg⊃0N¬'⊃(πEπ↓(N¬'↓0λ∧g↓(NE&q(λEεa0N¬&a0λEεa(N¬&a( EεA0NE&Q( EεA0N¬&A(
Eε1(N¬F1(
Eε!0NE&!( Eε⊃(N¬&!( Eε⊃(NE&↓( ¬%q0N¬&↓( E¬q(N¬%q0 E%Q0NE%a(
E¬Q0N¬%Q0
E¬Q(N¬EA(∞E¬10NE%A(∞E¬10N¬%1(∂E¬⊃0NE%!(∂E¬⊃0N¬%⊃(⊂¬%↓(N¬E↓(⊂E∧q0NE$q0⊂E$a0N¬$q(⊃E∧a(N¬DQ0⊃E$A0NE$Q(∩E∧A0N¬D10∩E$!0N¬D1(∪¬$!0NE$1(∪E$⊃0N¬D⊃(∀¬$↓0NE$⊃(∀E#q0N¬$↓0∀E#q0N¬Cq(∃Eβa0NE#a0∃E#Q0N¬CQ(⊗EβA0N¬CA0⊗E#10NE#A(↔¬#10N¬C!0↔E#⊃0N¬C!(_¬#⊃0NEC↓0_E"q8N¬C↓0_E"q0NE"q0→E"a0N¬Ba0→E"Q8N¬BQ0~¬BA0NEBA0~E"A0N¬BA(≠¬B!8N¬B10≠E"!0NEB!(≤¬B↓8N¬B⊃0≤E"↓8N¬B⊃0≤EAq0NEAq0≥¬Aa8N¬Aq0≥EAQ0NEAQ0≡¬AA8N¬AQ0≡EA18N¬AA0∨¬A10NEA10∨E!!8N¬A!0 ⊂α`H gαpH ⊂λ⊃(∧ESQ0∧¬h∧λ ↓by` ααd!¬@q8N¬`a8 ⊂b`( g"`0 ⊂λA0αEsA8α¬h∧( ↓αyh ↓αd#¬@18N¬@18 ⊃b`⊂ gαp⊂ ⊂ ↓0F∪Q0Eh∧@↔'¬T% 3Bh ∩EIh⊗⊂ 2XN
h∧`∃g¬4&J3RH ∪E→`∀P bHN
λ¬∪g$t( sB0 ∀Dih∩P
"(N (¬_∩'∧D* ∪R_ ∃$)`⊃⊂
b⊂NλH¬0⊃'$∧,λ∪B ⊗∧ `∂P !xNGH¬P∂'βd-G3Ah ↔βYh∞⊂ A`Nεh¬p
gβ4/εsQH _β~λ
⊂ ↓HU↓(Oλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊗≡⊂ 9≥-F(z@= ∞⊂C¬≡Py-π/(8Pa xA∞'(6→>P∂(␈ohv@z@≡+ ≥=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Py-π/(␈ohv@z@≡+ ≥= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pt-π/(z@∨K ≥= λ0 ∂x␈␈␈pα~␈x␈␈␈@~@¬p( &`90ε⊂∩@@K∧Hλxε%btDDRap By0∩⊂∂QXMIHπX
g$T=FsR ≡C9h∩⊂∂⊃PNHhπ@
'$4;FSB_ ≥C)h⊃P∞QHNHHπ g$$9ε3R⊂ ≤#→h⊂P∞↓HNH(εp g∧$6F∪Rλ ≠β→h⊂P
!HNH(εH '$∀3F∪B⊂ →# h⊂P Q@NH(ε_ '$∀0F∪B⊂ ↔c h⊂P q@NH(¬h '$∀-F∪B⊂ ⊗# h⊃⊂ ↓@NH(¬8 '∧$*F∪R⊂ ∀c h⊃⊂
!8NHH¬ '∧$'F∪R⊂ ∪# h⊃⊂ A8NHH∧P '∧$$F∪R⊂ ⊃c h⊃⊂λa8NHH∧ g∧4!ε∪R⊂ ⊂# h⊃∂c h⊃∂By`⊃Oβ h⊃NC h⊃∞# h⊃∞αy`⊃MByh⊃Mβ h⊃LC h⊃ By`⊃Lαyh⊃KC h⊃Kβ h⊃Jby`⊃JByh⊃Jβ h⊃IC `∩ "yh∩λbyh⊃HByh⊃Hβ `∩πbyh∩π"yh∩εbyh⊃FC `∩ε"yh∩¬byh∩¬"yh∩∧by`∩∧byh∩∧"yh∩βbyh∩β"y`∩Bc h∩αbyh∩α"y`∩Abyh∩A# h∩Aαyh∩by`∩@"yh≥g')h≤'εyh~g&Ih→'ε→h↔g%Yh⊗'¬9h∀g$y`∪g$ih∪'$i`∪g$ih∪'$i`∪g$yh∪&e `∀fe9X⊗feyX_'ε→X→ffYX≠gεyX≤fg9X≡gπiX E X @E X A¬ X AE ` ↓e→X B¬→X BE X C¬ ` β%→X CE→X D¬→X DE→` ∧e→X ¬%→X EE→X Ee)X F%)` εe)X G¬→X G%)X Ge)` λ%)X λe)X He)X I%)` e)X
%)X J%9X Je9X K%)` E9X ¬9X L%9X Le9`
¬IX
E9X Me9X N%9` ∞EIX ∂¬IX O%IX OEIX Pλα`N¬H∧⊂⊗&bd" ∪18 ⊃¬YX PλbhN¬H∧@⊗fbd% ∪18 ∩EYX P BhMEh∧p⊗gαd'KS10 ∀%iX P
"hMEh¬ ⊗gαd*KS10 ∃eiX P αpMEh¬H↔fbt-KSA0 ↔%iX P bpMEh¬x↔fbt0KsA0 _eyX ⊂ RpMEhε(↔fbt3Ks18 ~%y` ⊂
#MEhεX_&bt6L∪18 ≠ey` ⊂∞βMEHπ⊂_&bt9L∪18 ≥& X P∞cλN¬Hπ@↔fbt<J∪1_ ∨D)Xπ⊂⊂Q`Nαλλ`
f`DIβI∩`HN@HOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊗>⊂ 9≥-F(z@= ∞⊂C¬≡Py-π/(8Pa xA∞'(6→>P∂(␈ohv@z@≡+ ≥=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Py-π/(␈ohv@z@≡+ ≥= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pt-π/(z@∨K ≥= λ0 ∨x␈␈␈p↓ ≤/x␈␈␈P~@¬0 +`Y0εP∃⊂HKDh
⊂π%C$MDrbλ %"y8∪P⊃a`MJ(λX∞g%∧EG3R@ "#Yh∀⊂⊂qhO hλ0∞'$tBπ∪R8 c9h∪P⊂⊃XNIHλ
g$d?εsR0 ∨#9h∪⊂∂1XNIHπH
g$d;FsR( ≥C9h∩P∞QPNI(π_
'$T8FSR( ≠c9h∩P
aPNI(ε`
'∧T5FSR( ~#)h∩P qPNI(ε0 g$T2ε3R( _C→h∩P ↓PNIλε g$D/ε3R ↔β→h∩⊂ !HNIλ¬@ g$D+F∪R ∃# h⊃P
A@NHh¬⊂ g$4(F∪R_ ∪c h⊃P Q@NHh∧X '∧4%ε∪R_ ∩"yh⊃Pλq8NHh∧( '$4!F∪R_ ⊂# h⊃Pλ↓8NHGq8NHGQ8NHG18NHG!0NHG↓0NHFa8NHFA8NH&18NH&!0NH&↓0NλEa0NHEA0NHE!0NHE⊃0NH%↓0NH$a0NH$A0NH$!0NH$⊃(NH#q(NH#Q(NHβA(NHβ!0NHβ⊃(NHαq(Nλ"Q(NH"1(NHα!(NHα⊃ NH↓q NH↓Q(NH↓1(NH↓⊃(NH↓↓ NG`q NG`Q NG`1 NG`⊃ NLSC⊂NL∪RpNK∪RPNJ∪R0NI∪R_NH3QxNG3Q`Nπ∪QXNFSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεS1XNεsAXNεsAXNεsAXNεsAXNεsAXNεsAXNεsAXNεsAXNεsAXNεs1`Nπ∪A`Nπ∪A8N∧3@XN↓HOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊗↑⊂ 9≥-F(z@= ∞⊂C¬≡Pλ↓8T∨(8Pa xA∞'(6→>P∂(␈ohv@z@ .⊂P⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pλ↓8T∨(␈ohv@z@ .⊂P⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P|8T∨(z@!N⊂P⎇ λ0 /x␈␈␈pα≡`~⊂∧T←'λ pMP↔y` /sD←gλ xMP_ ` 0∪D`&h λN⊂_→` 03D`fh ⊂N⊂⊃ h∃'λπ⊂∩J3D0M%→X ∃λ∧⊂∀gλ∧@ ∪%)`∨⊂
bPMM(¬x∃'¬d2JSB@ ~E)`⊃P
bPMGhπ⊂∃'β4:JSA8 ≡¬)`
⊂∂"PMD(πh∃'↓d?JS@X E→`∧⊂⊂BHMAHλ0∀g4D
)⊃"PMJS2PMJS2PMJS2PMJS2PMJS2PMJSBHMJ32HMJ32PMJS2PMJS2PMJS2PMJS2PMJS2PMJSBHMJ32HMJS2PMJS2PMJS2PMJS2PMJS2PMJS2PMJSBHMJ32HMJS2PMJS2PMJS2PMJS2PMJS2PMJS2PN
32HMJ32HMJS2PMJS2PMJS2PMJS2PMJS2PMJS2PN
32HMJ32HMJS2PMJS2PMJS2PMJS2PMJS2PMJS2PN
32HMJ32PMJS2PMJS2PMJS2PMJS2PMJS2PMJS2PN
32HMJ32PMJS2PMJS2PMJS2PMJS2PMJS2PMJSBHMJ32HMJ32PMJS2PMJS2PMJS2PMJS2PMJS2PMJSBHMJ32HMJ(
P↓&e$SA32P )! X∃⊂∀0PMJH
π&e$O∧32P &bYX∃⊂∪↓@MJH ∞fe$HH32P #$iX∃⊂⊃αXMJHλ__g¬∀>∞32H ≥λ∧λMJ(εH ∪32P ↔λ¬PMJH∧h ~S2P≥P∂IX∃λλ @N⊂≤)` 8SDpgλ∞λN⊂≤→` 83Dp'λ∞N⊂≤ ` 7sDogλ
xN⊂≠y` 7SDo⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."0| G⊂:[ ←(z@≤(0
=
λf←≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂((9W`z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
λf←≡←x←Qm∂((9W`z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ 8f←≡P∂(*yW`z@⊂`_?␈x␈␈`∧ '?␈x␈}`%`∞D90_&&iH≡&H∧λM⊂λYP ∩∪4%fH∧pMP
X ∀S4*&h¬0MH"B_Nπ#QxMG∧⊃pMFdQ`Nε%⊃XMF%1XNε¬QXMF¬qPNεε↓PN¬f!PMFε!PNεε1PN¬fQHMFεaHNεεaHNεεqHNεεqHMF'↓@Nε'↓HNε'↓HNε'⊃@MFG⊃@Nε'!HNε'!HNε'1@N¬gQ@MDH∧_ '↓T$ε∪@8 ∪C `P
A@$*F∪A@Nε∪A@7¬β!@KI↓q@L⊂ yH ∀S$*&H¬0M⊂ X ⊗3$-fh¬`MP YX ↔S4/fhεMP →X _S41fhε N BRHMHE1@MH¬a@MGf↓@MGF!@NπεA@MGεQ@MGεa@Nεfq@MFg↓@MFg⊃@NεG!@MFG1@NεG1@MFGA@Nε'Q@MFGQ@Nε'a@MFGa@Nε'q@Nε'q@MF(∧ 'β∀ ε∪AH ⊂β X
⊂λ↓@Nε(∧λ 'β∀ F∪AH ⊂# ` Pλ⊃@MF(∧⊂ 'β∀!ε∪AH ⊂C ` Pλ!@Nε(∧⊂ 'β∀!ε∪AH ⊂C ` Pλ!@Nε(∧⊂ 'β∀!ε∪AH ⊂C ` Pλ!@Nε(∧⊂ '#∧!ε∪A@ ⊂C ` ⊂λ!@Nε(∧λ 'β∀ F∪AH ⊂# `
⊂λ↓@NF(∧ 'β∀ ε∪AP∨F∪AP∨F∪AX∨ε∪QP∨ε∪AX≡F∪AX≡F∪QX≡ε∪A`≥F∪A`≥ε3Q`≤εSAh~G∪Ap→G3Qp_πsAx⊗H3R∀ ∪B⊂⊃Ic⊂NHcR`λAsB0
a⊂XNP⊂→` ∪T?'(π`NP∂)` ≡3T;g(π(NP ⊂∪g(∧@↓IST#↓∧Yh ⊂`b O∂a∩⊂NO↓2λO∞↓RO B!pOJbahPλβaXmF3Q8O¬∪aλPBhOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂_↑⊂ 9≥-F(z@= ∞⊂C¬≡Pd(p∂(8Pa xA∞'(6→>P∂(␈ohv@z@→
_@=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pd(p∂(␈ohv@z@→
_@= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P←(p∂(z@~*_@= λ0 /x␈␈␈p∧∀?x␈␈␈0≥PπλM@S0_MA∪0(MAS08MB∪0HMBS0XMC∪0hMCS0xMD∪1λMDS1_ME∪1(MES18MF∪1HNε3AHNε3Q@Nε∪A@Nε∪A@Nε∪A@NEsA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬ehN¬d1@N¬d↓xN¬cb N¬cBHN¬c"hN¬cβλN¬bs N¬bS@N¬bCPN¬b3`N¬b#xN¬b∧!'αpx ⊃∪A8π⊂λi` C(∧@N¬aAX∧ sA8¬EBB⊂N¬a!
λ∪A8∧DCqxN¬a↓λ⊃GSA8βD∧q`N¬`px∃εsA8ββEQXN¬`Pp_εSA8αC&!HN¬`@h~ε3A8↓C&a@N¬`0`≤ε∪A8↓βπ!@N¬` `≥EsA8↓αgQ8N¬`⊂X∨¬sA8BH∧ gαpλ¬⊂λ⊃0Nλ(∧⊂ g∧∀!ESB ⊃αi`∂Pλa0Nπh∧0 'βd$¬SAp ∩αi`∂⊂ ↓0Nπ(∧P 'βT%¬SA` ∩bi`∞⊂ 18Nπλ∧` 'β4&ESAX ∪"i`
P Q8Nεh∧p 'β$'ESAP ∪bi`
⊂ q8NεH∧x gβ$'EsAH ∀αy` P
↓8Nε(¬λ gβ∀(EsAH ∀"y` P
⊃8Nε(¬λ gβ∧)¬sA@ ∀By` ⊂
!8Nελ¬⊂ 'β∧)ε∪A@ ∀C ` ⊂
!@Nελ¬⊂ 'β∧)ε∪A8 ∀c ` P
1@MFλ¬_ 'β∧)F∪A@ ∀c ` ⊂
1@Nελ¬_ 'β∧)F∪A@ ∀c ` ⊂
1@Nελ¬_ 'β∧)F∪A@ ∀c ` ⊂
1@Nελ¬_ 'β∧)F∪A@ ∀c ` ⊂
!@Nελ¬⊂ 'β∧)ε∪A@ ∀C ` ⊂
!@Nελ¬⊂ 'β∧)ε∪A@ ∀C ` ⊂
⊃@Nελ¬λ 'β∧(F∪A@ ∀# ` ⊂
⊃@Nελ¬ 'β∧(ε∪A@ ∀β ` ⊂
↓@Nελ∧x 'β∧'F∪A@ ∪c ` P QHNεH∧` 'β$&ε∪AP ∩c→`
⊂ 1@Nεh∧H gβ4$F3AX ∩β→`∞⊂λqHNπλ∧0 gβT"F3Ah ⊃β)`∂⊂λ1HNπH∧⊂
'βt εSAx ⊂β)`⊂∂C)`⊂Oβ)`⊂Nc9`⊃∞#9` !#8∞'βλ¬M#I` !C_∞'βλεL#Y` ARx∞gβ⊂πJci` arH∂'β_λI$ ` ↓α"λ⊂gβ(
εd9` ↓Ba(∩gβ8∞B% ` αλ∧`Nε↓∀%'βP ∩∪A@ε⊂λIX C(∧⊂Nε!cxNε"β`N¬"SHN∧βC NαDCN↓¬BXg SqpPD(Oλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂_}⊂ 9≥-F(z@= ∞⊂C¬≡Pa
I∨(8Pa xA∞'(6→>P∂(␈ohv@z@_"P$⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pa
I∨(␈ohv@z@_"P$⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P\
I∨(z@→BP$⎇ λ0 ?x␈␈␈p∧`⊗?x␈␈␈⊂∪
↓_Kλ∪α@LKs∪0LO∪$ &H∧(M⊂ →P ∪34(&H¬ MP
yP ⊗S4.fhεM⊂ 9X →344&e!_&dqP∃&dB_∩fd2@⊃&d"h∂fd∪⊂∞&dβ0
&dβP gβsh
fcd Ds1p ⊂b)X∂⊂λaNπ(∧Hπ&cT%C31h ∪A9`∞⊂
PMGλ¬⊂∧fcT)B∪A` ∃@iX∞⊂ (Nεh¬Pα&cD-@sAX ↔ )X∞⊂ `λNεs1XNεs1XNεs1XNεs1`NεsAXMFsAXNεs1XNεsAXNεS1XNεsAXNεS1XNεsAXNεsAPNεS1XNεsAXNεsAXNεsAXNεSAPNεSAPNεSAPNεSAPNεSAPNεsAXNεsAXNεsAXNεsAXNFsAXNεsAXNπ∪A`NFsAXNπ∪A`NFsA`Nπ∪A`NG∪A`Nπ∪Q`Nπ∪Ah ~`→h∞⊂
λNπ(εHgβT4SQh →@9`∂⊂ P_NG(ε α'βd1↓∪Qp _Y`∂⊂ (NGH¬pβ'βt.↓sQx ⊗A `∂P ⊂@NGh¬8∧g∧∧*BSR ∀a9h⊂⊂
⊂`Nλ(∧xε'$∀&βSRλ ∩Ay`⊃⊂ ↓NHh∧ '$4!∧sR_∨E∪B(≥ESR(≤E3R0~ESR8_¬sR@⊗ε∪RH∪F3RX⊂FSRp G3S⊂πH∪T/'H¬PNP
yh ∃∪d'g(∧`O⊂λyp ⊂SchO∞∪sλOJTαPDhOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂→≡⊂ 9≥-F(z@= ∞⊂C¬≡P]∧v␈(8Pa xA∞'(6→>P∂(␈ohv@z@↔!_[⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P]∧v␈(␈ohv@z@↔!_[⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PX∧v␈(z@_A_[⎇ λ0 Ox␈␈␈pβ∪∨x␈␈␈@≥0∪⊂λM@S0_MA∪0(MAS08MB∪0HMBS0XMC∪0hMCS0xMD∪1λMDS1_ME∪Q_N∧sA_N∧sA_N∧sA_N∧sQ⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂N∧SA⊂MDsA_3Dd!_KGc1_L
αa_LKb!_M
↓q_M∞!A_M∂!!_M⊂λ⊂@ fH∧(β∧s4#A"9P ∩`1_MP P⊂ fh∧xDs$2fhε0MP yX ~∪44fhεPMP
9X ≠∪46gλεhMIbβ8MIβ∪⊂MHDαpMH$RXNπe∩HMGeR0MGF∩ Nπ&2_MG&bλNππ⊃xMGπ1pMGπQhNεh∧
fc4!εSAX ⊂c→X
PλQ@NεH∧8 fc4$¬SAP ∩BYX
P 1 NεH∧`
'β∀'∧s1P ∪B9` P q_MFH∧x gβ$'DsAH ∀α9X
⊂
↓_Nε(¬λ gβ∀(Ds1P ∀"9` P
!_Nε(¬λ
'β∀(E∪1H ∀BI` P
! Nε(¬⊂
'β∀)¬∪1H ∀bI` P
1 Nε(¬_
'β∀)E∪AH ∀bIX P
A Nε(¬
'β∀*¬∪AH ∃αI` P
A Nε(¬
'β∀*¬∪AH ∃αIX P
Q Nε(¬(
'β∀*E∪AH ∃"I` P
Q Nε(¬(
'β∀*E∪AH ∃"I` P
Q Nε(¬(
'β∀*E∪AH ∃"I` P
Q Nε(¬(
'β∀*E∪Q@ ∃"I` ⊂
Q Nελ¬(
'β∧*E∪A@ ∃"I` ⊂
Q Nε(¬
'β∀*¬∪AH ∃αIh ⊂
A Nελ¬
'β∀)¬3AH ∀BY` P
!(Nε(¬⊂
g#∀(E3AH ∀"Y` P
⊃(NεH¬
g#∀(¬3AH ∀αY`
⊂ q(NF(∧p 'β$&ESAP ∪αyh
⊂ 18NεH∧P 'β4$ε3QP ∩β→`
PλaPNFh∧
gβ4"εsQX ⊂CI`∞⊂λ↓hNFgqpNππQxNGπ2Nπ'∩λNG&r⊂NπFB NGF"(NGFα0Nλ¬B@NH¬∩PNH$R`Nλd⊃@E3R ∞ε`⊃(NIBah↓¬3RHεH@⊃0N⊂
p⊂ '(¬0↓¬ST*bih ∀@A0NP
( '(∧xαEST&ABih ∩`q0NP ⊂@ '(∧8∧ESd"αBih ⊂A10NPλ` 'G@p 'G⊂x '&aλ 'F1⊂ 'Eq 'E10 'da@ gd↓Xεhβ⊃p∧(!r_↓⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."2| G⊂:[ ←(z@≤(0
= Xo∨>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(2{ghz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ Xo∨>←x←Qm∂(2{ghz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ λo∨>P∂(5;ghz@⊂`→?␈x␈␈`π +←␈x␈␈ %→I⊂ %d→@∀f%yP→f' P≡&H∧M⊂λIP ∩∪4%&H∧pMP
P ∀s4+&h¬@M⊂ 9X∀CDiX∪¬d)X⊃GD X⊃λciX⊂IcYX⊂
cIX∂Kc9X∂ C9X∂
#→`∞Mc→X∞∞c X∞∂# X∞∂byX∞⊂λ⊃8Nεh∧_ fc4"ES1X ⊃bi`
⊂ ⊃0MFh∧P
gβ$%ES1P ∪"YX
⊂ q(NεH¬
&c$(E3AP ∀BI` P
1(MF(¬(
'β∀*E31H ∃bI` P
q(MF(¬H
'β∀,E3AH ⊗BIX P 1 Nε(¬X
gβ∀.¬∪A@ ↔"IX P Q(Nε(¬h
gβ∧/E∪A@ ↔bYX P q(Nε(¬x
gβ∧0¬SA@ _αi` ⊂ ↓0N⊂⊃iX #sDH'λ N⊂∩ ` $∪DH'λ λN⊂∩→` $3DHgλ λN⊂∩→` $3DHgλ ⊂N⊂∩)` $SQ@Nε∪A@Nε3AHNε3Q@Nε3AHNε3APNF3AHNεSQHNε3APNF3APNεSQPNεSQPNεSQPNεsQPNεsQXNπ∪QX →@→`∞⊂ @⊂NGλελα'#D/A3Ah ↔ ih∞P 08NG(¬@∧gβd+αSQp ∀aIh∂P ppNGh∧hπg∧∧%∧3Rλ ⊃B9h⊂Pλ1(NHGq8NHg1HNIεa`NI&⊃xNIEBNJ∧R_NJCR8NKbαhO⊂
→h →ST2'HεNP ip ⊗ST+gH¬_O⊂ yh ∪∪d$'h∧_O∂Ss@OL3rPPλ41_"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε0xA∞'(6→>P∂(8Pa z@∞∀_E⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡P8Pq?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∞∀_E⎇?{x#Z≡P8Pq?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@ t_E⎇ ≡P=Pq?(!@3?␈␈x␈@∧1␈␈␈x␈v@ αs↓_LF3!hMλ32_M s2HMJs2hMKs3λMLS3 N
330MN∪3HN¬A⊃XMEα↓8N∧BA(MD"q(MD#!_N∧βA⊂MDβaλNβd↓Nβd⊃MCd!NβD@xMCd@pNβD``NβD`XMCDpPNβE@NβE8MCE⊂0NβE⊂(NβE⊂ NβE⊂_MCe⊂⊂NβE λNβE⊂λNβS@pMCs@xNβs@xNβs@xMD∪AN∧∪AN∧∪AλN∧3AλN∧3AλN∧31_N∧sA_N∧sA_N∧sA N¬∪A N¬∪A N¬3A(N¬3A(N¬3A0N¬SA0N¬SA0N¬SA0N¬sA8N¬sA8N¬sA8N¬sA8EP ` ⊗∪D,&h¬HN⊂ →` ⊗∪D,'λ¬@N⊂ X ⊗3D,gλ¬@N⊂ ` ⊗∪4,gλ¬HN⊂ →` ⊗∪CPNα↓A8X¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@MF3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHNε3AHN¬3@xNαS@ "<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε8xA∞'(6→>P∂(8Pa z@∀PH;= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PRB.o(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∀PH;=?{x#Z≡PRB.o(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∪0H;= ≡PWB.o(!@3␈␈␈x␈@ C␈␈␈x↑@M@C@30⊂M@s0 MA3003β%8K¬d0@LG#pHLHc0PLJβXM
b``M b0hML"⊂pM
!`xM∞↓AMNA!λMO↓↓⊂M∂`a_MPλ⊂
&h∧_↓¬34"@"YX ⊃@⊃(MP λ
&h¬pMP yX _∪40gλελMFa#hMFα3@MEcβ(N¬#C_ME#sλN∧d2xMDdbhMDeα`N∧E"XMDERHN∧%r@MDFα8N∧&"0MD&B(N∧&R MD&r_N∧π∩⊂MD'∩⊂N∧π2λN∧πBMD'BN∧πaxN∧πqpMDλ∧∂'α∧ G3A ⊂#YXλ⊂λ1`N∧λ∧_∞'α∧"εsA ⊃β9Xλ⊂λQXN∧λ∧0
'α∧#εSA ⊃C)`λ⊂λqHN∧λ∧8 fb∀#F3A ∩# `λ⊂ ⊃@N∧λ∧H 'α∧$F∪A ∩# `λ⊂ ⊃@N∧λ∧P gα∧%¬s1λ ∩By`λP !8N∧(∧P gα∀%¬sAλ ∩By`λP !8N∧H∧H gα$$EsA⊂ ∩"y` ⊂ ⊃8ND(∧H gα$$¬sA⊂ ∩αy` ⊂λq@N∧H∧8 'α4#ε∪A_ ⊃C ` Pλa@N¬λ∧( 'αD"ε3Q_ ⊃β→`
⊂λ1HN¬λ∧_ gαT FSA( ⊂#)h
Pλ↓PN¬'qXN¬GaXN¬gQXNEGA`N¬g1`Nεπ⊃hNεπ⊃hNFεqpNε&QxNεFAxNFF"NεfαλNFerλNπ¬R⊂NπE"_NGEα Nπdb(NH∧20NλCq(DSR_∞¬ !⊂N #↓8↓∧SR8 F!_NJa!X↓DsD'Aα9h ∪@A_N⊂ P( g(∧Xβ∧sT$Ab9h ⊃a↓_N⊂λ`H g(∧ ¬∧sT!αBIh ⊂↓1 NOAA NNaa NN!q NMb↓ NMα! O αA NKBQ O
Bq NIc⊃ OλCA OGβq OED! Pβ¬↓ h¬∪A N¬∪A N¬∪A N¬∪A_N∧sA_N∧sA_N∧s1 N¬∪A N¬∪A_N∧j@⊂ ⊃B9HαPλa_M↓h∧0 f!$"E∪⊂h ⊃"9PπPλQ_LDH∧( f"T"Ds!8 ⊃"9h ⊂λA_N¬H∧ gαt!DsA8 ⊂b9` Pλ!_NEH∧⊂ gαt DsA8 ⊂αI` Pλ↓_NEgq_N¬ga NεπQ_NEgQ_Nεπ1 NEg1_Nεπ⊃ NFπ↓_Nεεq NFεQ Nε&A NF&! NεF↓(NFEa(NFEA0Nπ¬⊃0NG∧q8NG$1@NπcqPNHβ1XNHBQhNIABNP
→h ∪sT&g(∧XNP →p ⊃ST"'(∧⊂O∂SS`O∞3c(O 3bhOIsrλOFt x"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε@xA∞'(6→>P∂(8Pa z@⊗∨Xq⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PX}|?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊗∨Xq⎇?{x#Z≡PX}|?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∀␈Xq⎇ ≡P]}|?(!@4?␈␈x␈@⊂H␈␈␈x␈w≤@30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PNεSQHNε3AHNε3Q@Nε∪A@Nε∪A@Nε∪Q8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8∃C3A8∪¬SA8⊃FsA8⊂GsA8∂HsA8∞IsA8
JSA8 KSA8 ∪A8 sA8
M3A8
sA8 N3A8 ∞sA8λO3A8λ∂SA8πPλ ` CH∧⊂N¬aT!gαp` ⊃3A8ε⊂λY` Bh∧8N¬a"∧GsA8∧GAapN¬a↓h π∪A8∧εbQ`N¬`qP εsA8βεC!PN¬`aH
FsA8αF#QPN¬`AH∂εSA8αε∧↓HN¬`1@⊂FSA8↓ε$⊃PN¬`!@⊃F3A8F∧AHN¬`⊃8∩F3Bp∪εSBh∀ε3Bh∀ε3B`∀F3BX∃ε3BP∃F3BP⊗ε∪BH⊗F∪B@↔ε∪B@↔ε∪B8↔F∪B0_ε∪B0_ε∪B(_F∪2(→ε∪B(→ε∪B →F∪B_~ε∪B_~ε∪B⊂~F∪B⊂~F∪Bλ≠ε∪Bλ≠ε∪B≠F∪B≠F∪Ax≤ε∪Ap≤F∪Ap≤F∪Ah≥ε∪Ah≥ε∪A`≥F∪A`≡¬sA`≡¬sAX≡EsAX≡EsAP∨¬sAP∨¬sAH∨EsAH∨EsA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ gβ∧ ¬sA@ ⊂αy` ⊂λ↓8Nελ∧ fc∀ ¬sAH ⊂αy` Pλ↓8Nε(∧ gβ∀ ¬sAH ⊂αy` Pλ↓8Nε(∧ gβ∀ ¬sAH ⊂αy` Pλ↓8Nελ∧ 'β∧ ε∪A@ ⊂β ` ⊂λ↓@Nελ∧ 'β∧ ε∪A@ ⊂β ` ⊂λ↓@Nελ∧ 'β∧ ε∪A@ ⊂β→` ⊂λ↓HNελ∧ gβ∧ ε3A@ ⊂β→` ⊂λ↓HNελ∧ gβ∧ ε3A@ ⊂β→` ⊂λ↓HNελ∧ gβ∧ ε3A@ ⊂β→` ⊂λ↓HNελ∧ gβ∧ ε3A@ ⊂β→` ⊂λ↓HNελ∧ fc∀ ε3A( ⊃αY`λ⊂ ⊂xNαH∧x∧gD*AλOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂~>⊂ 9≥-F(z@= ∞⊂C¬≡P5wJ?(8Pa xA∞'(6→>P∂(␈ohv@z@
=p)⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P5wJ?(␈ohv@z@
=p)⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P0wJ?(z@∞]p)⎇ λ0
∨x␈␈␈p∧Pλ←x␈␈␈`↔pπ 0KC∩a⊂Kε∪↓`Nπ3AhNπ3Q`Nπ3AhNπ3Q`Nπ∪AhNπ3Q`Nπ∪AhNπ3Q`Nπ∪AhNπ3AHNDS@`N↓S@λXQ!`_KB∩`pK¬∩qHMεsAXNFSAPNεSAPNεSQHNε3AHNε3AHNε3AHNF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪Q8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8MF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A MD∪@PN↓λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂~↑⊂ 9≥-F(z@= ∞⊂C¬≡P?
⊗←(8Pa xA∞'(6→>P∂(␈ohv@z@∂c Z⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P?
⊗←(␈ohv@z@∂c Z⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P:
⊗←(z@⊃β Z⎇ λ0
/x␈␈␈pα ox␈␈vP~ @λM@S0_MA∪0(MAS08MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEsA8N¬sA8N¬S18N¬sA8N¬sA8N¬sA0N¬3A N∧sA⊂N∧3ANβs@pNβ3@`Nαs@PNα3@@N↓s@0N↓3@ Ns@⊂N"`λYS0_MA∪0(MAS08MB∪0HMBS0XMC∪0hMCS0xMD∪1λMDS1_ME∪1(MES18MF∪1HMFSAPNF3AHNε3Q@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@NEsA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@8%1@M@E18M@e18MA¬18MA%18MAE18MAe18MB¬18MB%!@MBe⊃@MC¬⊃8MC%⊃8Nβ%⊃8Nβ%⊃8NβE↓8NβDq@NβDq8NβDq8Nβda8NβdQ@NβdQ8N∧∧A8N∧∧A8NCd1@N∧∧!8N∧∧!8N∧$↓@N∧$↓8ND#a@N∧#a@N∧CA@ND#A@N∧C!HN∧C⊃HNDC↓HN∧baHN¬αAPNEα!PN¬"↓XNEAA`Nε axNO∪SPN∞SS@NMSC0NM∪S⊂NL∪RpNK∪RPO SR Oλ3QpOεSq OCHOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂~}⊂ 9≥-F(z@= ∞⊂C¬≡PX}|/(8Pa xA∞'(6→>P∂(␈ohv@z@⊗∨Xq=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PX}|/(␈ohv@z@⊗∨Xq= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PS}|/(z@↔?Xq= λ0
?x␈␈␈p¬⊂∪←x␈␈␈`≥Pλ⊂λM@S0_MA∪0(MAS08MB∪0HMBS0XMC∪0hMCS0xMD∪1λMDS1_ME∪1(MES18MF∪1HNε3AHNε3Q@Nε∪A@Nε∪A@Nε∪A@NEsA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8 ∪`→` P `⊂N¬h∧h↓gαt&↓∪A8 ∩`Y` P 0N¬h∧@∧'αt#B3A8 ⊃!9` Pλ@`N¬h∧⊂π'αt CsA8∨D3A8∨∧SA8≡¬∪A8≥¬SA8≤EsA8≠F3A8≠εSA8~π∪A8→πSA8_GsA8↔H3A8↔λSA8⊗ ∪A8∃ 3A8∀I3A8∪I3A8∪ 3A8∩ SA8⊃ SA8⊂ISA8∂IsA8∞J∪A8∞ sA8
∪A8
3A8 J∪A8
J3A8 JSA8
SA8λ
SA8π
sA8εJsA8¬K∪A8∧K∪A8βK3A8β 3A8α 3A8↓ SA8KSD"gλ∧_N⊂λ)` ⊂3D 'πi`≡gπI`≥'π→`≤'εy`~gεI`→gε)`→gε9`~'εY`~gεi`≠'εy`≤'π `≤gπ→`≥'π9`∂C9`∞Aβ9`∞↓#9`
Ac9` BC9` αc9` C#9` CC)` CC9` Cc9` Dβ)` Dβ9` D#)` D#9` DC9` Dc)` Dc9` Eβ)` E#)` E#)` EC)` Ec)` Ec)` Fβ)` Fβ)` F#)X εC)` εC)` εc)` πβ→` πβ)` π#)` π#)` πC)` πc→` πc)` λβ)` λ#→` λ#)` λC→` λC)` λc)` β→` β)` #→` C→` C)` c→` c)`
β→`
#→`
#)`
C→`
c→`
c→` β→` β)` #→` C→` C→` c→` c→` β→` #→` #→` C→` C→` c→`
β→`
β→`
#→`
#→`
C→`
c→`
c→` ∞β→` ∞β→` ∞#→` ∞C→` ∞C→` ∞c→` ∞c→` ∂β→` ∂#→` ∂#→` ∂C→` ∂C→` ∂c→` ⊂λ↓HNελ∧ gβ∧ F3A@ ⊂#→` ⊂λ!HNελ∧⊂
'β∧!εSA@ ⊂BY` ⊂λ0pNελ∧_∧fc∀!@sA(N∧∪@PN↓λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≠≡⊂ 9≥-F(z@= ∞⊂C¬≡P5wJ?(8Pa xA∞'(6→>P∂(␈ohv@z@
=p)⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P5wJ?(␈ohv@z@
=p)⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P0wJ?(z@∞]p)⎇ λ0
Ox␈␈␈p¬⊂λ∨x␈␈␈`≥Pλ⊂λM@S0_MA∪0(MAS08MB∪0HMBS0XMC∪0hMCS0xMD∪1λMDS1_ME∪1(MES18MF∪1HNε3AHNε3Q@Nε∪A@Nε∪A@Nε∪A@NEsA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8MF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪1HNε3A(N∧∪@PN↓λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≠>⊂ 9≥-F(z@= ∞⊂C¬≡Pλ→[∩∨(8Pa xA∞'(6→>P∂(␈ohv@z@&6`H⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pλ→[∩∨(␈ohv@z@&6`H⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pλ∀[∩∨(z@'V`H⎇ λ0
←x␈␈␈p∧" ∩⊂∧↓X⊂∧(¬Xλgβ1P∂⊂ apNFBb0 ⊃Di`
∧eCx⊗gβ!→∞&9`
β'β ≤'β X≡ πI`
α(∧λ∃⊂λ)`
↓h∧(∪⊂λi`
↓(∧@∩⊂ `
h∧`⊂⊂ I`
H∧x∞⊂
` ≠β$)'λεp ⊂
i` ≠bD,'(εx ⊂ )` ≤!d/'λπ⊂ε⊂ `≥C%0P∃β%9`≠¬dp@∪EDy`→πDP0∩π$Y`↔Hd@ ⊃H$I`⊗Id0⊂⊃ $9`∃Jh∧_∀HSBH↔OeRλN
ε∪h↔H∪B0~N&1xN &s8~GsB_≥
&qxNλGC_≤GSBλ∨ '1pNλλ∧↔O#i`∂Pλ"h∨G3Qh ⊃¬4 G3A` ⊃%4 G3AX ⊃e∀!G3AX ∩∧t"G∪AP ∩$t"G3AH ∩dT#G∪AH ∪∧D#G3A@ ∪$4$G∪A8 ∪d$$G∪A8 ∪d∀%G∪A8 ∪d∀%G∪A8 ∀βt&FsA8 ∀βt&FsA8 ∀βt&G∪A8 ∀#T'FsA8 ∀#T'FsA8 ∀#T'FsA8 ∀CD'FsA8 ∀CD'G∪A8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀C4(FsA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∀)FSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*εSA8 ∀c∧*F3A8 ∀c∧*F3A8 ∀c∧*F3A8 ∀c∧*F∪A8 ∀c∧*F∪A8 ∀c∧*F∪A8 ∀c∧*F∪A8 ∀c∧*F∪A8 ∀c∧*F∪A8 ∀c∧*F∪A8 ∀c∧*F∪1@ ∀c∧*F∪A@ ∀c∧*F∪A@ ∀c∧*F∪A@ ∀c∧*F∪A@ ∀c∧*F∪A@ ∀c∧*F∪A@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∧+¬sA@ ∀c∀*EsA@ ∀c∀*EsA@ ∀c∀*EsA@ ∀c∀*EsAH ∀C∀*EsAH ∀C∀*EsAH ∀C∀*EsAH ∀C∀*EsAH ∀C∀*Es1P ∀C∀*EsAP ∀C∀*EsAP ∀C∀*EsAP ∀C∀*EsAP ∀C∀*EsAP ∀C∀*EsAP ∀C∀*EsAP ∀C∀*ε∪AP ∀C∀*ε∪AP ∀C∀*ε∪AP ∀C∀*ε∪AP ∀C∀*ε∪AP ∀C∀*ε∪AP ∀C$)F∪AP ∀C$)F3AP ∀#4)F3AP ∀#4)εSAP ∀#4)εSAP ∀#4)εSAP ∀#4)εS1X ∀#4)εSAX ∀#4(FhOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≠↑⊂ 9≥-F(z@= ∞⊂C¬≡PZM{O(8Pa xA∞'(6→>P∂(␈ohv@z@⊗S8n=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PZM{O(␈ohv@z@⊗S8n= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PUM{O(z@↔s8n= λ0
ox␈␈␈p↓∀`∩ @h$?␈␈xRL∧q0O DA`NK$"O
dα NJCr8O
βRPNIcBhNIC#NI#∪⊂NIββ NHbs0NHBc@NλBSPNH"C`NHα3hNλα#xNGb∀ gβqλ ⊂SQpλ⊂λ9`∂βh∧(NG!a⊂¬J3AhεCb20Nπ!P` ∪Q`εαcB_Nπ↓0P∂HSA`¬αD"λNπ↓ @∩H∪A`∧B∧rNFa@∀GsAX∧↓e1xNε`p8⊗GSAXβ↓eapNε`P8_πSAXαAF!hNε`@8→G∪QP↓AfAhNε@00≠π∪AP↓↓Fq`Nε@⊂8≤εsAPAG⊃`Nλπ1XNλπ1XNπgAXNπGaPNπGaXNGπqXNπλ∧
'β4 FSAP ⊂C)`
⊂λ1HNε(∧
'β∀"εSAH ⊃#→` PλQHNε(∧( gβ∀"F3AH ⊃#→` Pλa@Nε(∧0 'β∀#ε∪Q@ ⊃C ` ⊂λa@Nελ∧0 'β∧#ε∪A@ ⊃C ` ⊂λa@Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃by` ⊂λq8Nελ∧8 gβ∧#EsA@ ⊃c ` ⊂ ↓8Nελ∧@ gβ∧$¬sA@ ∩αyX P ↓8Nε(∧@ gβ∀$¬sAH ∩αy` P ↓8Nε(∧@ gβ∀$¬sAH ∩αy` P ↓@Nε(∧@ 'β∀$ε∪AH ∩β ` P ↓@Nε(∧@ &c$$ε∪AP ∩# `
⊂ ⊃@NεH∧H 'β$$F∪AP ∩# `
⊂ ⊃@NεH∧H gβ$$F3AP ∩#→`
⊂ ⊃HMFh∧H
'β4$FSAX ∩#)`
P ⊃XNεh∧H
gβ4$FsAX ∩#I`
P ⊃`MGλ∧H∞gβD$G3A` ∩#i`∞⊂ ⊃xNπλ∧P∂'βD%πsA` ∩D X∞P "Nπ(∧P⊂gβT%λSAh ∩D9`∞P " "<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\DεxxA∞'(6→>P∂(8Pa z@∃∧0Y⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PT⊃V?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∃∧0Y⎇?{x#Z≡PT⊃V?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∪d0Y⎇ ≡PY⊃V?(!@7␈␈␈x␈@ EG@$DrqhL 3∩XLL∪# M∞∪#`MOS$ fh∧ MPλiP ∩34%fh∧hMP yX ∀34)fd``⊃fd!(∂fd↓P∂'βap∞fcR⊂∞&cB(
gβ2@
&c"X
&c"h gβ∩x fc∪λ 'ββ_ &cβ( gββ( &cβ8 gαsH fcβH gαsX fcβX gαsh 'αsh fcβp 'αsx 'αsx fc∧ ¬SA@ ⊂αi` Pλ⊃0N¬h∧λ gαt Es1@ ⊂Bi` ⊂λ!0Nελ∧⊂ 'β∧!¬sA@ ⊂By` ⊂λ!8Nελ∧⊂ gβ∧!¬sA@ ⊂ByX Pλ!8Nε(∧_ 'β∧"¬SA@ ⊃αy` ⊂λA8Nελ∧ gβ∧"¬sA@ ⊃αy` ⊂λA8Nελ∧ gβ∧"¬sA@ ⊃αy` ⊂λA8Nελ∧ gβ∧"¬sA@ ⊃αy` ⊂λA8Nελ∧ gβ∧"¬sA@ ⊃αy` ⊂λA8Nελ∧ gβ∧"¬sA@ ⊃αy` ⊂λA8Nελ∧ gβ∧"¬sA@ ⊃αy` ⊂λA0Nελ∧ 'β∀!¬sAH ⊂Byh ⊂λ!8Nελ∧⊂ gβ∧!¬sA@ ⊂By` ⊂λ!8Nελ∧⊂ gβ∧!¬SA@ ⊂Bi` ⊂λ!0NEh∧λ gαt EsA@ ⊂αi` ⊂λ↓0NEh∧ 'αsx 'ββp '"sp 'αsh 'ββ` '"sX gββP '"sH gββ@ '#β0 gββ( g#β gβ∪⊂ g#∪ 'β"p '#"` g#"P gβB8 g#B
g#Rλ
g#ah∞'∧↓H∞g$! ∂g$P`⊃'(¬λNP yh ∪3T%g(∧HNPλyp ⊃∪T!''yp≡'G h≠'F)p↔'e→x⊃gcZ⊂ ⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."8< G⊂:[ ←(z@≤(0
= P 7≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(2H
`z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ P 7≡←x←Qm∂(2H
`z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ 7≡P∂(5λ
`z@⊂`≤∨␈x␈␈`λ`)∨␈x␈l@& ∃"→H∞&$IP∃&EyP~#@ X≠eAH≥eaP8∨eB00 ⊂RaHα⊂λi` @H∧HNε ∀&'λε8N⊂
→` ~SD5g¬⊃⊂_g∧aP⊗g∧2∃g∧α0∀gβR`∪gβ3∪'β∪ ∩'β∪0⊃gβ∪@⊃'β∪H⊃'β∪P⊂gβ∪`⊂'β∪h∂gβ∪p∂gβ∪x∂gβ∀ πSAH ⊂#i` Pλ!hNε(∧_∞gβ∀!G3AH ⊃βY` PλQ`Nε(∧(∞'β∀#π∪Q@ ⊃c9` ⊂λqXNελ∧@
gβ∧$εsA@ ∩#)` ⊂ ⊃XNελ∧P
'β∧%εSA@ ∩c→` ⊂ 1PNελ∧X
'β∧&ε3A@ ∪β→` ⊂ APNελ∧h gβ∧&F3A@ ∪#→` ⊂ QHNελ∧h gβ∧'ε3A@ ∪C→` ⊂ aHNελ∧p gβ∧'ε3A@ ∪c ` ⊂ q@Nελ∧x 'β∧'F∪A@ ∪c ` ⊂ qHNελ∧x gβ∧'F3A@ ∪c→` ⊂ qHNελ∧x gβ∧(ε∪A@ ∀β ` ⊂
↓@Nελ¬ 'β∧(ε∪A@ ∀β ` ⊂
↓@Nελ¬ 'β∧(ε∪A@ ∀β ` ⊂
↓@Nελ¬ 'β∧(ε∪A@ ∪c→` ⊂ qHNελ∧x gβ∧'F3A@ ∪c→` ⊂ qHNελ∧x 'β∧'F∪A@ ∪c ` ⊂ q@Nελ∧x 'β∧'F∪A@ ∪c h P q@N¬h∧x 'αt'ε∪A8 ∪C ` P a@N¬h∧p 'αt'ε∪A8 ∪By` P Q@N¬h∧h 'αt&F∪A8 ∪# ` P Q8N¬h∧` 'αt&ε∪A8 ∪αy` P A8N¬h∧X 'αt%EsA8 ∩by` P !@N¬h∧P gαt%¬sA8 ∩# ` P ⊃8N¬h∧@ 'αt$¬sA8 ⊃c ` Pλq8N¬h∧0 'αt#¬sA8 ⊃# ` PλQ8N¬h∧ gαt!F∪A8 ⊂by` Pλ!8N¬h∧λ gββx 'β3X 'βc8 '∧β '∧# g∧Bh g∧bH
'¬α(
g¬"λ∞'¬Q`∞'ε↓0∂'αp⊂
βD→` Aλ∧(N¬`t 'αpP≥'αph→gαrλ gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` gαy` 'αY`
'α9` 'α→`λ'↓y`π'↓Y`ε&aI`¬g↓)`∧g↓ `βgi`αf`Y`α'9`↓'→XQ≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."8| G⊂:[ ←(z@≤(0
= X*⊃>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(&jD(z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ X*⊃>←x←Qm∂(&jD(z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ λ*⊃>P∂()*D(z@⊂`≤?␈x␈␈`ε@∨∨␈x␈l@&⊃!I@
&#)H⊂&DIX∪&E)X⊗&F X→&fIX≠&g X≥&gIX∨'πiX ⊂∪1h∧π31`εεsAPλεS1P εSAH
ε31H ε31H ε∪AH ε31H
ε∪A@∞ε∪1H∞ε∪A@∂ε∪1H∂ε∪A@⊂ε∪A@⊂ε∪1@⊃¬sA@⊃ε∪1@∩¬sA@∩¬sA@∩ε∪1@∪¬sA@∪¬sA@∪ε∪1@∀¬sA@∀¬sA@∀ε∪1@∃¬sA@∃¬sA@∃¬sA@∃ε∪1@⊗¬sA@⊗¬sA@⊗¬sA@⊗¬sA@⊗ε∪1@⊗F∪A@↔¬sA@↔¬sA@↔¬sA@↔¬sA@↔ε∪1H↔ε∪A@↔F∪A@↔F∪A@_¬sA@_¬sA@_¬sA@_¬sA@_¬s1H_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪AH_ε∪Q@_ε∪A@_ε∪A@_ε∪A@_ε∪A@_ε∪A@↔F3A@↔F3A@↔F3AH↔ε3Q@↔ε3A@↔ε3A@↔ε3A@↔ε3A@↔ε3Q8⊗FSA@⊗εSA@⊗εSA@⊗εSA@⊗εSQ8∃FsA@∃εsA@∃εsA@∃εsQ8∀G∪A@∀π∪A@∀π∪Q8∪G3A@∪π3A@∪π3Q8∩GSA@∩πSA@∩πSQ8⊃GsA@⊃πsQ8⊂H∪A@⊂λ∪A@∂H3Q@∂λ3A@∞HSQ@∞λSA@
HsQ@ I∪A@ I∪Q@ I3Q@
ISAH IsQHλJ∪AXεJSQ`¬
ST'g(∧pN⊂ ih ∪3T&'(∧XNP )h ∩3T$'(∧8O !8NJ@18O @Q8NIa8Oλ↓↓8OFA18OE↓a8Pβα!8]¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8Nε∪A@Nε∪A@Nε3AHNεSAHNε∪A8N¬SA(N¬∪A_N∧SAλN∧∪@xNβS@hNβ∪@XNαS@HNα∪@8N↓S@(N↓∪@_NS@λ"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dπ⊂xA∞'(6→>P∂(8Pa z@∪≠0u= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PLm]/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∪≠0u=?{x#Z≡PLm]/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@⊃{0u= ≡PQm]/(!@9?␈␈x␈@∂@@?␈␈x␈N@≤30⊂M@s0 MA300MAs0@MB'`PMBFqλMBf1(MCε↓@MC%QXMCE!pMCeαMD∧b⊂MD$R_MDD2(MDd"0ME∧α@ME#rHMECbPMEcB`MFβ2hMF#"pMFC∩xNF"sλNε"c⊂NFαS_NεαC Nεα3(Nεα#0NEb∩0N¬bαN¬aqhN¬aaXN¬aQPN¬aAHN¬aA8N¬a10N¬a!(N¬a⊃ N¬a↓ N¬a↓⊂N¬`q⊂N¬`aλN¬`QλN¬`PxN¬`@xN¬`0xN¬`0pN¬` hN¬` `N¬`⊂`N¬`⊂XNλSBλNλ∪AxNπSAhNπ3A`NεsAPNεSAHNε∪A@N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8N¬sA8MF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪1HNε3AHNε3AHNε3AHNε3AHNε3AHNε3A(Nβs@PN↓λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≤}⊂ 9≥-F(z@= ∞⊂C¬≡PPs/←(8Pa xA∞'(6→>P∂(␈ohv@z@∀≤h>⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PPs/←(␈ohv@z@∀≤h>⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PKs/←(z@∃<h>⎇ λ0∞?x␈␈␈p↓`∩∂x␈␈}P∪λAPI 2s@L⊂λ H ⊃s∀&fH¬λM⊂
YP ⊗∪$.&H¬xMP →P →∪43&hε@MP
→X ~s46&e!H∃'∧B(∩&d∩h⊂&cs ∞'βSH fcCp
gβ$!∧s1P ⊃"→` P xMF(∧Xεgβ∧'αS1H ∪a→` ⊂
⊂@Nελ¬⊂βfc∧*↓SA@ ∃ Y` P
` N¬h¬8↓gαt+@s1@ ⊗)` P ⊂⊂N¬h¬Pgαy` gαy` gαy` gαy` gαy` '"y` 'β→` g#→`
'β9h
gβI`∂'#y`⊂g$)`∩'$ih∀g¬yh ⊂ST$'λ∧hNP yh ∀3T)g(¬ NP
Yh ∃ST+g(¬@O⊂
yh ⊗∪T,'H¬8NP p ∃sd+'(¬0O⊂
Yx ∀sd)'h¬OP j ∩T$"lε*_⊗($yx∩gd)p⊂gCyp∂'#Yp∞'#9h
'#$@␈␈␈y`P AHN(ε( &`$2F3@_ →# `↓P Q@N↓λε( gD2Es@( →αyXβ⊂ Q0N↓hε 't2¬S@@ _bi`∧P !0MBHε⊂ '↓40ES@` ↔by`ε⊂ q8Nβ(¬p g↓d.ES1 ↔αi`λP 10N∧H¬H gα4,¬sA ∃bih
P
A8N¬H¬_ g"d(EsA@ ∪C h ⊂ Q@NF(∧P 'β4#F3Q` ⊃β→h∞Pλ⊃PNGGQXNλπ!`NHFQhNI¬qxNIeαλNJDα(NL""PNP
9h ~3T3gHε NP )p ↔ST.'H¬@O⊂
Yp ∀3d&gH∧HOPλ9x≡gfz↔($:_εQ≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→.":< G⊂:[ ←(z@≤(0
=
HrT≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(*<Uz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
HrT≡←x←Qm∂(*<Uz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ xrT≡P∂(,|Uz@⊂`≥∨␈x␈␈`¬`"?␈x␈} :@∞@→X↓&`9Xα&`YXβ&`yX∧&a→X¬&a9Xε&aYXπ&ayXλ&b→X 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α)` 'α9` gα9` gα9` gα9` c h g↓`λ g∧)`⊗O IX ⊃C`PN⊂
Y` ≠∪D5gλεPN⊂
→X ~3D4'λε8N⊂ i` →3D2&hε N⊂ 9` _SD0gλεVE∪A N¬∪A N¬∪A N¬∪A N¬∪A N¬∪A N¬∪A N¬∪A(N¬3A(N¬3A(N¬3A(N¬3A(N¬310N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬SA0N¬sA8N¬sA8N¬sA8MF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@ ∩`→` ⊂ Nελ∧(βgβ∧!B3A@ ⊂↓I` ∂!y` ∞b→` ∞b→` ∞b→` ∞B→` ∞B→` ∞B→` ∞")` ∞")` Nα→` Mb)` Mb)`
"9`
")h
b9`
BI`
L"9`
LαIh
KBI`∞ αY`∞JBYh∞Jαi`∂ Bih∂HC `⊂λβ h⊂Gβ→`⊃Fβ9h∩DcI`∀Bcyh ∀3T('λ∧xNP Yh ∩sT$g(∧8NPλYh ⊂sT 'GYh≥gFyh~gF→x⊗'Dyx⊂hβ*λλQ≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→.":| G⊂:[ ←(z@≤(0
= P ≥≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(.B' z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ P ≥≡←x←Qm∂(.B' z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ≥≡P∂(1α' z@⊂`≥?␈x␈␈`ε%␈␈x␈} $` `$1@2p8 ↔@i0εP `K∧h¬⊂ %c∧&Es1H ∪"y` P Q8Nε(∧h gβ∀&EsAH ∪# ` P Q@NFλ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪# ` ⊂ Q@Nελ∧h 'β∧&F∪A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧` gβ∧&ε3A@ ∪β→` ⊂ AHNελ∧X
'β∧%FSA@ ∩c)` ⊂ 1PNελ∧X
'β∧%εsAH ∩#9h ⊂ ⊃XNελ∧@∞'β∧$π∪A@ ∩βI` PλahNFλ∧0∞gβ∧"GSA@ ⊃βyh ⊂λ1xNελ∧⊂⊂'β∀ λ3QH∨λSAH≡HsQH≥I∪AP≤ SQP≠ sAX~
∪Q`_
sAh⊗K3Qp∀KsR⊃LSR⊂∞M3B@ ∞ST9g(π⊂NP∞→h ≤∪T*@#→h ∀@1HO⊂ p g(∧`βεST%↓c)p ⊃A⊃(O⊂λ XπgG``¬gG pαgFYx↔ge~λ⊂(BT xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∞oλα≤NV`2⎇ ≡Pq!BO((9kxz@≤(0
< G⊂:[ ←(z␈wt84=
λg/}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←((9kxz␈wt84=
λg/}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(%ykxz@=
Xg/}P∧_π0␈␈␈␈xp P␈␈␈␈` _ PR∨␈x␈c45ARx →A9λ
P qNεh¬P
gβ4,E3QX ⊗αYh
⊂ ↓ NεH¬8
g#$+¬∪AP ∃BIh
⊂
A NεH¬
'#$)¬∪AP ∀BIh P
⊃ NεH¬
'#∀(¬∪AP ∪BIh P a NεH∧`
'#∀&¬∪AH ∩bIh P ! Nε(∧H
g#∀$¬∪AH ⊃bYh Pλa Nε(∧0
'#∀"¬∪AH ⊃αIh ⊂λ1 Nε(∧⊂
'#∧ E3AH ⊂αIh ∂bY` OBIh ∂"Y` OαI` OαIh ∞bY` NBIh ∞"Y` NαIh
bY` MBIh
"Y` MαYh bY` LBYh "Y` "Yh bY` bYh BI` "Yh αY`
bY` JBYh
"Y` JαYh bi` bYh "i` "Yh αY` λbYh λBY` λ"ih λαY` λαYh GbY` πBYh G"Y` παY` παIh εBY` εBIh εαY` εαIh FαI` ¬BIh EBI` ¬αIh EαI` ∧bIh DBI` ∧"Ih DαI` βbIh Cb9` CBIh C"9` CαI` αb9h Bb9` α"9h B"9` ↓b9h Ab9` Ab)h A"9` A")h @b9` @b)h @B)` @"9h∀g¬→h∪g∧y`∪'$Y`∩'$9`⊃'$→`⊂'#y`∂'#Y`∞'#9`
'#→` g"y` g"Y`
gαIh gα)hλgα hπg↓ihεg↓Ih¬g↓)h∧g↓→hβgyhαgYh↓g9`↓' ∀ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∞␈λα≤NV`2⎇ ≡Pq!BO(3c7⊂z@≤(0
< G⊂:[ ←(z␈wt84= x
\↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(3c7⊂z␈wt84= x
\↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(1#7⊂z@=
H
\↑P∧_π8␈␈␈␈x↓ p␈␈␈␈p Hαp↓&@IPβP⊃PλMBλλX↓fA$DA∪ ` "YPπ⊂⊂`8MDλλ_∧fB$@BS! ⊂`#X¬fBd Aπ⊂hMEh∧αMayP O@s(λ&CCX∧Mα→X∞NA#⊂ fCs@ε "9P⊂MAcλ fD3 λ "9h⊃LB∪λ g$# L")h⊂KBc '∧∩p α)h⊂ Bc '$α` Lα→`⊂ αrx '#r` B)`∂Jc∩p 'βrX KB→h∂JC∩pλgβrP
α)`∂J#2` '#bH
Kα→`∂
#2`λgβr8∞
b)`∂IcRPλg#b8∞JB→`∂ cRPλgβb0∂
")`∂I#r@λg#b(∂Jα→`∂ #r@λgβb ⊂ b)`∂ ∧∩0λg#b_⊂IB→`∂λAPλ
B→`∂λAP⊂ I")`∂λAP⊂ I"→h∞HAP⊂
α→`∂λ↓P_
α→`∂λ↓P Hb)`∂λ↓P Hb→h∞GaP(
λB→`∞GaP(
λB→`∂πAP(
λ"→`∂πAP0 H"→h∞G!P8
λα→`∞G!P8
λα→`∞G!P8
πb→`∂εa`8
πb→h∞FaPH Gb→`∞FaPH
πB→`∞FaPH
π"→`∞FAPP
π"→h∞F!PP
π"→`∞F!PX
πα→`∞F↓`X
εb→`∞F↓P`
εb→h∞ε↓P`
εb→`∞ε↓P`
FB→`∞EA`h
ε"→`∞EAPp
ε"→h∞¬APp
ε"→`∞¬!`p
Fα `∞¬!`p
Eb→`∞E↓Q
¬b→h∞¬↓Q
¬b→`∞∧aa
EB `∞∧aQλ
E"→`∞∧aQλ
E"→h∞∧AQλ
E"→`∞∧!a⊂
Eα `∞∧!Q_
Db→`∞∧!Q_
Db→h
D↓a_
Db→`∞βaa_
Db `∞βaQ(
D"→`∞βaQ(
D"→h
CAa(
D" `
CAa(
D" `∞β!Q0 βb→`∞β↓a8
Cb→`∞β↓a8
Cb h
C↓Q@
Cb `
C↓Q@ β"→`∞αAa@ β"→`∞αAaH
C" h
BAQP
C" `
B!aP αb→`
B!aP αb→`∞α↓aP αb h
B↓QX αb `
Aaa` α"→`
Aaa` α"→`
Aaa` α" `∞↓!ah αα→h
A!ah Ab→`
A!ap ↓b `
A!ap ↓b `
A↓ax ↓B→h
@aax A"→`
@aax A" `
@ab ↓" `
@Abλ ↓α→h
Abλ @b→`
@!bλ @b `∀HBp_λ'¬∩⊂ @B→`∀Hbpλλg%α_ @" `∪Iαpλλ'∧r ∀'∧r ∀'$b(∪'∧R0∪'∧R0∪'∧R0∩g∧R0∩g$28∩g∧2@∩'∧2@⊃g∧2@⊃g$"@⊃g∧∩H⊃g∧∩P⊂g∧∩P⊂g∧∩P⊂g#rX⊂gβrX⊂'βrX⊂'βr`∂gβr`∂g#Rh∂'βRh∂'βRh∂'βRh∞g#Bp∞'βBp∞'β2x∞'β2x
gβ2x
g#"x
gβ#
'αc 'αβPλ'↓$ αSP ⊃ D xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∂∂λα≤NV`2⎇ ≡Pq!BO($3q(z@≤(0
< G⊂:[ ←(z␈wt84= λOE>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←($3q(z␈wt84= λOE>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(!sq(z@= XOE>P∧_π@␈␈␈␈xxλ⊂ λx⊃∞#→`⊂NC h⊂∞C h∂NBy`∂NBih∂∞"y`∂∞"ih∞N"Yh∞Mbi`∞MbYh∞
BYh∞
"Y`∞
αYh∞ BY`∞ BYh∞ αYh
LαI`∞ BYh
KBIh
KαI`∞
BYh
JBI`∞
αIh
JαIh
IBI`
I"Ih
IαIh
λbI`
HB9h
λ"I`
GbIh
πb9h
π"I`
παIh
εb9h
ε"I`
ε"9h
¬b9`
¬BIh
¬"9h Eα9`
∧BIh
∧"9h Dα9`
βB9h CB9`
βα9h Cα)h BB9`
αα9h Bα)h AB9` A"9h Aα)h @B9` @"9h∃g¬9h∀g$y`∪g$Yh⊃g∧9h⊂g∧ h∂g#Y`∞'#9h gβ→h gβ)h g#→X
&cI`∞fciX⊂'∧→X⊃&dI`∩&diX∀'¬ X∃&eI`⊗&b0⊂ fb0_ gα0 fb00 fb08 gα0@ fb0H
&b0X gα0` fb0h
&b0x gα0x
&b1λ fb1_ gα1_
&b1( fbA(
'α18
&b1@
&bAH
'α1X fb1`
&bAh
'α1p
&bAx
&bB
gα2⊂
&bB⊂
fbB
'αB(
&bB0
fbB@
'αB@
fbBP
fbBX
gαB`
fbBh
fbRp
gαBx∞&bS
fbSλ∞'αC_∞&bS_∞&bS(∞'αS(∞&bS8∞&bc8∞gαSH∞&bcH∞fbcP∂'αcP∂&bsP∂fcβP∂gββP⊂&c∪H⊃⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."<| G⊂:[ ←(z@≤(0
= @:F>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(.∞QHz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ @:F>←x←Qm∂(.∞QHz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
p:F>P∂(0NQHz@⊂`≡?␈x␈␈`β ,∨␈x␈o % )@β⊂∂p_LαhπXβ&!d;B3↓_ ≤AY@ P
aLπλεP f#t3¬Sα _C→`∩⊂ !@NIλελ 'D$0EsR⊂ _αyh⊂P ↓0NH(¬x '$∧/E3R ↔"ih∂P Q(Nλλ¬`
g#t.¬∪Qx ⊗BYh∂⊂ ! Nπh¬H
'#d,DsAx ∃bIh∂⊂
q_Nπh¬0 g#d*E∪Ax ∃α9h∂⊂
A_Nπh¬⊂ g#d)∧sAx ∀")h∂⊂
↓_NπH¬ '#d'∧sQh ∪B)`∂⊂ A_NG(∧` 'βd%DSQh ∩B)`∂⊂ ⊃⊂NG(∧@ 'βd#DSQh ⊃B)`∂⊂λQ⊂NπH∧(λg#T"∧SAp ⊂b→h∞Pλ!⊂NπH∧λλg#T ∧SAp∨D3Qh∨∧SAp≡D3Qh≡∧SAh≡∧3Qh≥∧SAh≥∧3Qh≤D3Ah≤∧3Qh≠D3Ah≠∧3Qh~D∪Ah~∧3Q`~∧∪Ah→∧3Q`→∧∪Ah_∧3Q`_∧∪Ah↔∧3Q`↔∧∪A`⊗D3Q`⊗∧∪A`∃D3Ah∃∧∪Q`∀D3Ah∀∧∪Q`∀∧∪A`∪D∪Q`∪∧∪A`∩D∪Q`∩∧∪A`⊃D∪Q`⊃∧∪A`⊂D∪QX⊂D∪A`∂D∪QX∂D∪A`∞D∪A`∞D∪Q`
D∪A`
D∪QX
∧∪A` D∪QX ∧∪A` D∪QX ∧∪A`
D∪QX
∧∪A` D∪QX ∧∪AX ∧∪A`λ∧∪QXλ∧∪A`π∧∪QXπ∧∪A`ε∧∪QXε∧∪AX¬D∪QX¬∧∪AX∧D∪QX∧∧∪AX∧βsA`β∧∪QXββsAXαD∪QXαβsAX↓D∪QX↓βsAXD∪RXN
SRHN
∪B@NISB0NI∪B NHSB⊂NH∪BNGSApNπ3Q`NεsQPNε3Q@N¬sQ0N¬3A(NE∪A_NDSAλND∪1N∧∪1N∧∪1N∧∪1N∧∪1N∧∪1N∧∪1MD3AMD3AMD3AMD3AMD31λN∧31λN∧31λN∧31λN∧31λMDSAλMDSAλMDSAλMDSAλMDS1_N∧S1_N∧S1_N∧S1_N∧s1_N∧s1 N∧s1 ME3A(MESA0MEsA@MF3AHMF3A_MCS@HMAλOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≡↑⊂ 9≥-F(z@= ∞⊂C¬≡PU`U←(8Pa xA∞'(6→>P∂(␈ohv@z@∃8⊂V⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PU`U←(␈ohv@z@∃8⊂V⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PP`U←(z@⊗X⊂V⎇ λ0∂/x␈␈␈pα∪ ∩⊂∪⊂⊂$?␈␈x=B(εH
'β3X↔gλλ N⊂⊂9X sDA'λλλN⊂⊂ ` ∨s4?gλπpN⊂∂i` ∨3D>'λπXMP∂9` ≡SD<gλπ@N⊂∞y` Iπ→XπOE→`βP
⊃hN(¬x
∩_"9X fb9` &b)`λfb→Xλgα Xλ&b→`λ&b Xλ'↓yXπfay`πfay`π&aiXπ&ai`εfaiXπ'↓YXεfaY`ε&aYXεg↓IXε&aIXε'↓IXε&aIXε'↓9Xε&aIXε'↓9X¬faIXε'↓9X¬faIXε&aI`¬fa9Xε&aIXε'↓IXε&aIXε&aY`ε&aIXε&aYXεfaY`εfaYXεfaiXπ&ai`π&aiXπ&ayXπfayXλ&b `πfb Xλ&b Xλfb→Xλfb)`λfb)X &b)X fb9X
P
P(MIh∧⊂εfgα0 fhπ@MP∂→` ≡34=&hπXMP∂IX ∨34?&hπxMP⊂ X 34A&hλ_MP⊂IX !34C&hλ8MP⊃ X "32H ⊃C9X¬P∂⊂8"<#' 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε@<\
ε(7< G⊂:[ ←(z@≤(0
= ελ
I≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(_"R z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ελ
I≡←x←Qm∂(_"R z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ¬8
I≡P∂(~bR z@⊂` ?␈x␈␈`α⊗⊃`⊗αλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
∀ xFNFH:≠ R:~ R1Z ↔⊂0XnF(9λ∞ε(9~-v xA∞'(6→>P∂(8Pa z@εV(∃⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡P~Y%?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@εV(∃⎇?{x#Z≡P~Y%?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@¬6(∃⎇ ≡P∨Y%?(!@↔?␈␈x␈@π@∪ @πF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@"<#↔ 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε_7[-VλxA∞'(6→>P∂(8Pa z@εV(∃⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡P~Y%?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@εV(∃⎇?{x#Z≡P~Y%?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@¬6(∃⎇ ≡P∨Y%?(!@⊗?␈␈x␈@π@∪?␈␈xn @πF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@QD3AMD3AN∧∪@xNβs0xNβs@pNβS@hMCS@pNβ3@hNβ∪0hNβ∪@`Nαs@XMBs@XNαS@PNα30PNαS@HNα3@@MB3@@Nα∪@8">f) ∩ , O⎇`P/ P/ ↓@P←␈x␈l`;↑bλ
P∧m∩X
⊗P{
←,eV>bhελα∀λ@→∀H{ @
←,e∃≡dλ
P∧m∀8α_{⊂@,xV∞ α≤>d_
0∧←*_↓ {⊃=@↓(m;@¬|}d( `∧C↑@α
{⊃@0@↓λ D [}d8∂_¬2∀(αcH{∩/↓Vs
0≡dHλλαp
⊂β{λ{∩@(@p06 ⊃
}dX
⊂∧V⊂x∧Q {∪/↓Vs∀e↑dh∞_¬∧∩P¬CH{∪@6 ↓_"≠`→C}dx⊂_¬`⊗λπ∞p{∀2@↓λ|C`≡y>eλ⊂_¬`⊗λλ≤h{∀@,@xh=#O>e_ (∧β(@ 4⊂{∃4@↓⊂XC`'1↑e(∂_¬2∀(
Aλ{∃@6@↓_4J`,B}e8∀ π_≠_ W {⊗<`↓(HQ 2⊗}eH∂_¬2∀(
X{⊗@@`↓8X 6↓}fλ
⊂βL
H
qP{_@2 ↓λj∃9∀}f_ ⊂∧(⊃∞mx{→.@↓DD <h}f( `∧C]λ∂←p{→@≤ Pλ)@7>f8
(βU&`⊂=λ{~,@xh=D >fHε`α2↑0⊃H_{~@∨@X≠C@G.}fX ⊂βz∂ ∩!X{≠≠HJy@K∧}fh∪_εj→8∪ _{≠@- ↓
"N}}fx
@β↑Ah∀~H{≤2@↓λ|C`R/↑gλ Xβ9Y(∃∂P{≤@&@hT6@V*>g_
⊂βL
H∃q8{≥*@x = Y¬↑g( P∧⊃∂ ⊗S0{≥@(@p0=@\:≡g8 x∧LwX↔>{≡$@`x/ `%≡gH @∧ CH_60{≡@+x≡l cB␈⊂3∀Xλow{⎇x